OpenAI发布722篇AI生成数学成果引发学界验证危机与科研路径震荡

OpenAI在GitHub发布722篇由内部前沿模型生成的数学研究成果，其中300项完成形式化验证，涵盖黎曼猜想等千禧年难题。数学家表示消化这些成果需数年，部分职业早期研究项目因此失去推进意义。尽管部分成果极具分量，但整体质量参差不齐，且OpenAI未公开具体模型及提示词。