AI 导读
Emad Mostaque 引用转发 OpenAI 的消息并配文称 722 个问题中已不包括 Hodge 猜想。OpenAI 表示正在发布由内部前沿模型产出的一系列新数学结果，并咨询了高等研究院的数学与人工智能独立咨询组，结果见 https://github.com/openai/math。
推荐理由
作者借梗点评 OpenAI 内部前沿模型产出的数学新结果，读者可循其给出的 GitHub 链接查看原始内容。
正文
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