）和自动驾驶汽车企业家图多尔·阿希姆（Tudor Achim）去年联合创办的初创公司 Harmonic 一直在洽谈融资事宜，投资者包括红杉资本和 Index Ventures。
Harmonic的人工智能模型亚里士多德（Aristotle）将能够解决复杂的数学问题。人工智能研究人员发现，对话式人工智能很容易给出错误答案，而这些错误答案会让任何数学专业的学生不及格。
数学推理能力的提高也有助于人工智能模型更好地进行对话式推理，比如回答复杂的搜索查询或客户服务请求。
OpenAI 和谷歌也在努力研究这项技术。上个月，谷歌的DeepMind表示，其人工智能将在国际数学奥林匹克竞赛中击败大多数人类参赛者。
目前还没有看到 OpenAI 的数学问题解决模型 草莓（前身为 Q*）能做什么。同时，为了提高模型的推理能力，一些初创公司一直在使用一种廉价的黑客手段，即把问题分解成更小的步骤，不过这种变通方法既缓慢又昂贵。
Harmonic的模型通过一种名为Lean的开源编程语言来验证其证明的准确性。该模型的工作原理是将自然语言翻译成形式语言，使系统更容易解决问题，这与 DeepMind 使用的过程类似。(Harmonic公司称，亚里士多德能以90%的准确率解决国内和国际数学奥林匹克竞赛的问题，但目前还不清楚它与DeepMind的人工智能相比如何）。
Harmonic 还有一个潜在的重要特性。与 DeepMind 一样，它似乎也在利用自己的系统创建合成数据，即由人工智能生成的数据，而不是从现实世界中获取的数据，以训练其解决问题的模型。
这项技术在现实世界中有很多用途。阿希姆曾公开表示，亚里士多德可以用于航空航天、汽车和医疗领域--这些行业都依赖于精确的数学计算。
Tenev 在 X 上说，这家初创公司的目标是建立一个数学超级智能体，即 数学推理能力超过所有人类。
稿件经采用可获邀进入Z Finance内部社群，优秀者将成为签约作者，00后更有机会成为Z Finance的早期共创成员。
0 条