Robinhood首席执行官弗拉德·特内夫（Vlad Tenev）吹捧“自主数学家”，Harmonic揭开了Aristotle Agent的面纱

周二，Robinhood Markets Inc.（纳斯达克股票代码：HOOD）首席执行官弗拉德·Tenev强调了他的初创公司Harmonic的一个新人工智能系统，旨在独立解决高级数学问题。

由Tenev共同创立的Harmonic AI推出了“Aristotle Agent”，称其为“世界上第一个自主数学家”，能够在没有人类干预的情况下解决复杂的研究问题。

Tenev在X上的一篇帖子中写道：“向世界上第一位自主数学家打个招呼……他（暂时）自由了！"

向世界上第一位自主数学家打个招呼……他（暂时）自由了！https://t.co/OgXU2hYUcc

该公司表示，该系统可以解释用简单英语写的数学问题，将其转换为正式证明，并在没有帮助的情况下连续工作长达24小时。

Harmonic表示，Aristotle Agent在Vals AI开发的基准ProofBench上的形式数学排名第一，比最接近的竞争对手高出15%。

人工智能还被设计为充当一个完全“代理”系统，这意味着它可以独立生成证明、编辑文件并在Lean等以数学为中心的编程环境中运行。

该初创公司补充说，Aristotle Agent会产生“repo优质”的代码，一些用户已经将其贡献合并到项目中，无需修改。

该工具目前可在网络、命令行界面和API访问中使用，表明Harmonic正在努力吸引研究人员和开发人员。

🦾认识一下世界上第一位自主数学家Aristotle Agent-现场直播，目前免费。我们设计了Aristotle Agent来解决和形式化世界上最具挑战性的数学研究问题。现在是：形式数学中的第一名：我们是第一名形式数学模型. pic.twitter.com/LlDBxlvmWy️

Harmonic由Tenev和首席执行官Tudor Achim于2023年创立，正在追求所谓的“数学超级智能”。"

该公司已经筹集了大量资金，其中包括由红杉资本领导的7500万美元A轮融资和1亿美元的B轮融资，估值为8.75亿美元。

声明：此内容部分是在人工智能工具的帮助下制作的，并由Benzinga编辑审查和发布。

图片来源：Ink Drop / Shutterstock