初创公司Harmonic推出零幻觉数学推理AI模型Aristotle，估值近9亿美元

初创公司Harmonic推出数学推理AI模型Aristotle，宣称其在定量推理领域实现“零幻觉”，并通过Lean系统进行形式化验证。公司估值两年内飙升至近9亿美元，获得红杉资本、Kleiner Perkins等顶级风投支持。其模型在MiniF2F测试集中成功率达90%，远超GPT-4的20%-35%。尽管技术细节未公开，外界对其实际效果存疑，但其创始人背景与投资热度表明，AI数学推理与幻觉控制正成为关键竞争领域。主要对手包括DeepMind的AlphaProof和OpenAI的新型模型，均在国际数学竞赛中表现亮眼。
来源：https://tech.ifeng.com/c/8lRCVEHPZmn