Noam Brownpolynoamial2025-08-21 04:038 月 21 日AI 辅助已在改变软件工程，数学将是下一个AI assistance is already transforming software engineering. It appears that mathematics is next.AI 导读GPT-5-pro 已能证明新的数学定理。在凸优化开放问题测试中，它给出了比原论文更优的边界且经验证正确。这意味着继软件工程之后，数学研究也将成为 AI 辅助的下一个前沿。来源：Noam Brown · x.com
