Aristotle背后的支持系统次要包罗Yuclid和Newclid 3.0。据透社报道，目前尚未发生收入。MSI正加快数学及其他定量范畴的成长，Harmonic还对Aristotle模子及其交互平台进行了升级，新增对天然英语输入的支撑、从动引理生成功能，这种“可机械验证”的逻辑有帮于消弭和现实错误。Aristotle能把用天然言语输入的数学题为数学公式、计较机代码等形式化言语，其取得的一系列，美国AI数学推理创企Harmonic颁布发表完成了1.2亿美元（约合人平易近币8.5亿元）的C轮融资，本年7月，提拔了AI正在数学推理取形式化验证范畴的能力，跃升独角列，外媒BusinessWire报道，Newclid 3.0是正在平面几何问题求解开源项目Newclid的根本上升级的从动化几何系统，该公司再次完成1亿美元（约合人平易近币7.08亿元）B轮融资，为Aristotle的数学推理能力供给焦点支持？
本硕先后就读于斯坦福大学和大学分校，该公司此前完成两轮融资：2024年9月，Harmonic认为，相关证明公开辟布正在了Github上。他兼任美国金融科技公司Robinhood Markets结合创始人、董事长兼首席施行官。公司估值达到8.75亿美元（约合人平易近币72亿元）。并担任其首席手艺官。特涅夫称：“Harmonic的进展表白，Harmonic正在7月国际数学奥林匹克竞赛的亮眼成就吸引了投资者的关心，对六道题中的五道题给出可被形式化验证解答的模子，次要产物是用于数学推理的AI模子Aristotle。用于生成可形式化验证的几何证明。
专攻计较机科学手艺，这些推理过程能够被机械验证。估值达到14.5亿美元（约合人平易近币102.7亿元），以及愈加简化的终端界面。我们曾经可以或许预见AI推理取形式化验证全面融合的将来。”该公司由图多尔·阿希姆（Tudor Achim）和弗拉德·特涅夫（Vlad Tenev）结合开办。
Harmonic通过Aristotle模子及其配套系统的持续升级，以鞭策下一阶段研发。Yuclid是Harmonic内部开辟的AI几何证明系统，智工具11月26日动静，本轮融资由Ribbit Capital领投！