OpenAI于10月26日公布了数学、计算机科学和理论物理领域的三项重要研究成果。相关资料链接整理如下：
【OpenAI官方公告】
https://openai.com/index/building-scientific-understanding-with-academic-communities/
【数学：局部光滑化猜想】
论文：
https://github.com/openai/math/blob/main/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026/paper.pdf
Lean形式化：
https://github.com/openai/math/blob/main/lean/docs/079.md
【计算机科学：指数时间假设 ETH】
论文：
https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf
Lean形式化：
https://github.com/openai/math/blob/main/lean/docs/378.md
【理论物理：Yang–Mills】
千禧年难题官方介绍：
https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf
【其他参考资料】
王虹与Joshua Zahl的三维挂谷猜想成果：
https://www.ias.edu/news/once-century-proof-settles-maths-kakeya-conjecture
OpenAI此前公布的数学研究：
https://openai.com/index/sharing-ai-progress-in-mathematics/
注：相关成果仍有待学术界进一步独立检验；物理部分链接为背景资料，并非此次研究的证明。
