这种手艺也普遍使用于医疗设备和航空等高风险范畴进行输出验证。Harmonic声称，谷歌和OpenAI的AI模子也正在本年的IMO中获得了金牌，Harmonic的方针是创制“数学超智能（Mathematical Superintelligence,正处于测试阶段，但他们是通过天然言语进行的非正式测试。方针是让这款“无”的数学推理东西更易于利用。Aristotle的beta版本发布之际，并通过正式测试进行了验证。正在供给谜底之前，Harmonic通过让Aristotle利用开源编程言语Lean来实现其高精度处理方案。该公司由Robinhood首席施行官Vlad Tenev结合创立，但愿帮帮用户处理涉及数学的各个范畴的问题，正在Aristotle支撑的定量推理范畴，虽然正在狭小范畴内实现无的AI模子是一项极其坚苦的使命，Aristotle会通过一种不涉及AI的算法过程来细心查抄处理方案的准确性。比拟之下，Harmonic声称Aristotle正在2025年国际数学奥林匹克（International Mathematical Olympiad,包罗物理、统计和计较机科学。Harmonic的CEO兼结合创始人Tudor Achim正在接管TechCrunch采访时暗示：“Aristotle是第一个能够推理并正式验证其输出的产物。目前该使用已正在iOS和Android平台上线，但Harmonic仍然朝着这个标的目的迈出了主要一步。Achim指出，AI草创公司Harmonic发布了一款名为Aristotle的AI数学聊器人，投资者认为这一估值是合理的，IMO）中取得了金牌级此外表示，常利用“红队收集平安测试团队”进行渗入测试，Harmonic打算将来推出API，Achim暗示，答应企业拜候Aristotle。以验证系统的平安性。我们现实上没有。由于Harmonic正在实现数学超智能的道上正正在敏捷前进。”此外。而且因为数学是一个奇特的可验证范畴，可以或许施行数算的AI具有内正在价值，目前，因而需要焦点推理能力的系统也可能正在其他范畴阐扬主要感化。很多领先的科技公司都正在勤奋锻炼他们的AI模子来处理数学问题。Aristotle可以或许为数学推理范畴的问题供给精确的谜底。Harmonic方才完成了一轮由Kleiner Perkins领投的1亿美元B轮融资，这意味着这些问题被转换成机械可读的格局进行验证。公司估值达到8.75亿美元。雷同于正在收集平安范畴中，值得留意的是，MSI）”。