Greg Brockman@gdb · XAI 摘要
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 ...