近日OpenAI公开由内部前沿模型产出的722篇数学手稿，包含372组研究成果，涉及多个前沿数学猜想。相关论文、源码与部分形式化证明已经上传至开源平台。据介绍，该模型为解答这些数学问题消耗了大量算力，此事也引发数学界对于AI辅助前沿科研的讨论，探讨AI是否能够帮助人类攻克数学难题。
发布于 四川
科技圈小妍