OpenAI向Simons基金会捐赠500万美元支持数学家研究AI成果
OpenAI宣布向Simons Foundation新计划捐赠500万美元，用于支持数学家检验、理解和拓展AI生成的研究成果。
正在加载…
bibibi.ccbibibi.cc正在加载…
把分散的消息，连成可以理解的脉络。
OpenAI宣布向Simons Foundation新计划捐赠500万美元，用于支持数学家检验、理解和拓展AI生成的研究成果。
动察 Beating AI 快讯称，OpenAI公开722篇由内部前沿模型产出的数学手稿，涵盖372组关联结果。报道称部分结果附有Lean形式化证明，但OpenAI及独立顾问组均未将全部结果视为已获背书的定论。
PANews称，OpenAI将发布内部前沿模型产出的数学成果，GitHub目前收录722篇手稿，部分含Lean形式化证明，但部分结果尚未完成验证。
OpenAI据报成立由普林斯顿高等研究院托管的数学顾问组，并称内部模型解决了逾100个长期开放问题，但多数成果尚未公开。
OpenAI宣布成立由9名数学家组成的独立顾问组，并称内部模型已解决逾100个长期开放问题；相关成果仍待专家评估与公开验证。