OpenAI发布722篇AI生成数学研究成果

OpenAI发布由未公开AI模型生成的722篇数学论文，内容跨越约20个数学子领域，涉及黎曼猜想、矩阵乘法优化、偏微分方程等方向，部分论文包含可供计算机快速验证的Lean证明文件。