其中一个原因是，在模型进化的路上，即使是在一个窄小的领域，实现AI的无幻觉性能，都是一项困难的任务，初创公司很难有资源与模型大厂抗衡。 一家名叫Harmonic的初创公司偏不信邪，其正试图解决这个问题——开发完美无缺的零幻觉AI。 近日，这家公司推出了面向IOS和Android的聊天机器人应用程序测试版，普通用户可以通过这款程序，访问其人工智能模型Aristotle。其首席执行官兼联合 创始人Tudor Achim表示，Aristotle是人类可以进行推理并正式验证产出的第一款产品，在Aristotle支持的领域——定量推理，可以保证没有幻觉。同时， Harmonic还表示计划发布一个API，让企业访问Aristotle。在Harmonic的官网中宣称，其正在Github上公开发布Aristotle的完整证明，由于其经过正式验证， 无需人工检查，这使得Aristotle在前沿人工智能模型中，处于高级数学推理性能的最前沿。 Harmonic在新产品的宣传攻势中表示，Aristotle在第 66 届国际数学奥林匹克IMO2025中取得了金牌。这场比赛也被视为AI数学能力和AI推理能力的"成人 礼"。 "AI 原生 ...