Emad· @EMostaque · X·· 15 天前AI 评分58
AI 导读
OpenAI 宣布发布一批由内部前沿模型产出的数学结果,相关代码与材料放在 github.com/openai/math。OpenAI 表示曾咨询美国高等研究院(IAS)数学与人工智能独立顾问组的意见,并参考其公开建议来决定发布方式。Emad Mostaque 转发该消息并调侃称有 722 个问题,但霍奇猜想不在其中。
正文 · 原文
got 722 problems but the hodge conjecture ain’t one
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math在 X 查看被引用的帖子
来源:Emad · x.com