# AI 辅助已在改变软件工程，数学将是下一个

- 来源：Noam Brown (@polynoamial)
- 发布时间：2025-08-21 04:03
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.virxact.com/items/cmnw1yur801chslc3oe6hpf2m
- 原文链接：https://x.com/polynoamial/status/1958258682325770667

## 精选理由

GPT-5-pro被证实可证明新数学定理，AI推理能力迎来重大突破

## AI 摘要

GPT-5-pro 已能证明新的数学定理。在凸优化开放问题测试中，它给出了比原论文更优的边界且经验证正确。这意味着继软件工程之后，数学研究也将成为 AI 辅助的下一个前沿。

## 正文

AI辅助已经在改变软件工程。接下来，似乎轮到数学了。

### 引用推文

> Sebastien Bubeck：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...