进展中AI 科技其他事件首次追踪 2026.09.09最近变化 2026.09.11
目前结论
OpenAI 报告的纳维-斯托克斯解据称附带 Lean 4 形式化证明，但尚未经外部数学家验证，验证成本高昂，且面临训练数据方面的质疑。
进展时间线
2 次实质进展- #01
OpenAI称1万个AI智能体解决了一个价值100万美元的数学问题。如今数学家们正在争论
OpenAI报告称，10,000个AI智能体解决了一道价值100万美元的数学难题，在数学界引发争议与讨论。
来源依据：CoinDesk
- #02
OpenAI 纳维-斯托克斯成果据称附带 Lean 4 形式化证明
据报 OpenAI 的纳维-斯托克斯成果附带 Lean 4 形式化证明，可机器检验；验证成本高昂，外部数学家未验证，并存在训练数据质疑。
此后状态：OpenAI 报告的纳维-斯托克斯解据称附带 Lean 4 形式化证明，但尚未经外部数学家验证，验证成本高昂，且面临训练数据方面的质疑。
来源依据：ibobev