Noam Brown· @polynoamial · X·· 2025-08-21精选
AI 导读
GPT-5-pro 已能证明新的数学定理。在凸优化开放问题测试中，它给出了比原论文更优的边界且经验证正确。这意味着继软件工程之后，数学研究也将成为 AI 辅助的下一个前沿。
推荐理由
GPT-5-pro被证实可证明新数学定理，AI推理能力迎来重大突破
正文 · AI 翻译
AI辅助已经在改变软件工程。接下来，似乎轮到数学了。
声称：gpt-5-pro 能证明新的有趣数学。 证明：我拿了一篇凸优化论文，里面有一个清晰的未解决问题，让 gpt-5-pro 去研究。它证明了一个比论文中更好的界，我检查了证明，是正确的。 详情如下。https://t.co/eNEGqyZG0L
原文
Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below. https://t.co/eNEGqyZG0L
来源：Noam Brown · x.com