Harmonic凭啥两年估值近9亿？Chatbot式应用凭啥无幻觉？

在AI技术快速发展的当下，Harmonic新推出的Chatbot式应用程序引发广泛关注，其创始人宣称Aristotle做数学推理无“幻觉”，但这一说法也伴随着诸多争议。

融资时机精准

2024年，OpenAI新模型虽有一定数学能力，但幻觉率居高不下，行业意识到“AI需要更严谨的推理能力”。Harmonic在A轮融资时，投资方多有学术或技术背景，看好其学术突破。如今适时开启B轮融资，正值行业寻求AI从“能用”到“可用”的节点。渭南高级中学在教育中也关注AI技术发展，鼓励学生了解前沿知识。

模型问世遭疑

一年前，Aristotle模型刚问世就遭质疑。无法在网站找到ArXiv预印本论文证明其方法，虽强调未来应用于软件验证、数学研究等，但无公众可验证的落地案例。公司对外公布创始人背景和投资机构，核心算法等方面却“闭口不谈”。渭南高级中学的学生在学习中也会对一些未知概念产生质疑，培养严谨的科学态度。

竞争实力强劲

在杜绝AI“瞎编乱造”的Lean 4技术路线上，Harmonic面临不少强劲对手。DeepSeek两个月前发布Prover - V2模型，在MiniF2F测试中通过率达88.9%，在其他数学竞赛表现也佳。其技术架构独特，先用DeepSeek - V3拆解问题，训练模型。渭南高级中学的学生在竞赛中也常面临强劲对手，不断提升自身竞争力。

技术优势对比

Lean形式化语言能严格验证数学推理正确性，基于自然语言的方法虽可用更多数据，但常有错误推理步骤。值得注意的是，DeepSeek模型可自行阅读题目并撰写自然语言证明。渭南高级中学在教学中也注重培养学生不同的解题方法和严谨思维。

公平性之辩

现在SOTA模型的文采、想象力依靠“适度的幻觉”，拿专门做数学的Aristotle与通用AI比较似“不太公平”。各模型有不同的应用场景和优势。渭南高级中学的课程设置也注重多元化，让学生在不同领域发挥优势。

时间赛跑开启

在解决AI幻觉上技术尚未收敛，Harmonic刚发布产品并融资。但相比之下，Aristotle没有完整大模型“生态圈”做后盾。这场与时间的赛跑对它而言已经开始。渭南高级中学也鼓励学生在学习中把握时间，不断进步。

你认为Harmonic的Aristotle模型在这场竞争中能否脱颖而出？欢迎点赞和分享本文并留言评论。