Greg Brockman· @gdb · X·· 2026-04-03
AI 导读
OpenAI 内部模型解决三个 Erdős 经典数学难题，均给出简短优雅的证明。相关论文已发布于 arXiv，作者感慨我们正处于科学发现新时代的边缘。
正文 · 原文
OpenAI for helping resolve longstanding open mathematical problems, with short elegant proofs. Feels like we are on the edge of a new age of scientific discovery.
We are excited to share a new paper solving three further problems due to Erdős; in each case the solution was found by an internal model at OpenAI. Each proof is short and elegant, and the paper is available here: https://arxiv.org/pdf/2603.29961在 X 查看被引用的帖子
来源：Greg Brockman · x.com