在一道千禧年大奖难题的解答还在接受数学界审视的同时，超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。 今天早上，OpenAI 宣布与一个独立数学顾问组合作。 该组织名为「数学与人工智能顾问组」（Advisory Group on Mathematics and Artificial Intelligence， AGMAI） ，由普林斯顿高等研究院托管。它眼下的一项任务，是针对 OpenAI 内部模型产生的大量数学结果，就评估、审查和发布方式提出建议。 OpenAI 此举回答了一个更棘手的问题：当 AI 生成数学成果的速度超过同行评议和学术传播能够承受的速度，数学界该怎样接住这些结果？ 百道难题，突然变成了发布难题 机器之心编辑部 OpenAI 称，公司从 8 月 28 日开始训练一款新的内部模型。除了此前公布的纳维 — 斯托克斯方程千禧年大奖难题解答， 这款模型已经解决了横跨数学多个领域的 100 多道长期开放问题。其进展速度甚至令 OpenAI 内部的数学家感到意外 。 9 月 8 日，OpenAI 公开了纳维 — 斯托克斯问题的论文和 Lean 形式化证明。 ...