skeujam 在 OpenAI内部模型 Astra 在数学与理论计算机科学的十项进展 中发帖
OpenAI 于 2026 年 8 月 1 日正式公开发表，引发多位数学家热议
见https://openai.com/index/ten-advances-in-mathematics/
[ten-proofs-oai 第 i 页]