Harmonic 是一家专注于开发数学超智能（MSI）的人工智能初创公司，该公司在9月23号宣布完成了7500万美元的早期融资。本轮融资由红杉资本领投，参与者包括Index Ventures、Jasper Lau的Era Funds、GreatPoint Ventures、DTS Global Partners、Palo Alto Networks Inc.的首席执行官Nikesh Arora和演员Jared Leto，这使得公司的估值达到了3.25亿美元。
Harmonic 的主要目标是构建第一个数学能力超越人类的AI系统，以此来克服AI模型在无法正确回答问题时产生的“幻觉”现象。该公司认为，MSI是实现逻辑推理的关键，这有助于确保AI模型的回答始终正确无误。Harmonic 相信，具有MSI的AI系统将能够极大地推进我们在科学和工程等领域的知识和理解。
Harmonic 认为，现有的大型语言模型，如OpenAI的GPT系列，在遇到无法解答的问题时，经常会生成幻觉，这可能导致AI系统行为不可预测，随着AI在人们生活中扮演更重要的角色，幻觉的风险也在增加。
该公司表示，如果能够为AI模型提供数学推理能力，就可以确保它们的回应始终正确，从而消除幻觉。Harmonic 声称，具有透明且可验证的“推理轨迹”的模型将比当前模型“根本上更安全”。
Harmonic 由联合创始人兼首席执行官Tudor Achim领导，他指出数学是构建真正超智能所缺失的环节。该公司的第一个模型名为Aristotle，以希腊哲学家和数学家亚里士多德命名。Aristotle能够将自然语言数学问题形式化为基于微积分的函数式编程语言Lean 4，从而以可正式验证的方式解决问题。
Aristotle在MiniF2F数学基准测试中取得了90%的高分，该测试旨在衡量AI系统解决来自国家和国际高中数学竞赛、高中和本科数学课程的正式指定问题的核心问题解决技能。因此，MiniF2F基准测试可以比较Aristotle的表现与人类以及先前研究的表现。
红杉资本的合伙人Andrew Reed表示，他投资Harmonic是因为他相信AI可以加速人类的数学能力，为新的AI应用铺平道路。本轮融资的资金将帮助Harmonic加速Aristotle的开发，并创建第一个数学技能超越人类的AI系统。
来源：siliconangle
相关文章
粤公网安备44011102483711号