Dan Littman

OpenAI AI 为重大数学问题生成数百种解决方案

OpenAI 在 GitHub 上发布了大量由 AI 生成的手稿，共计 700 多篇，详细介绍了数百个先前未解决的数学问题的解决方案和进展。这些成果由一个未发布的尖端模型生成，涵盖了各种数学领域，包括黎曼猜想、矩阵乘法效率以及 P 与 NP 问题相关的突破。此次发布在数学界引起了惊叹和担忧，一些数学家对新的研究途径表示兴奋，而另一些人则对人类数学家以及数学发现的本质产生了担忧。