标签
OpenAI 一次性发布了近 400 条 AI 生成的数学结果，涵盖 700 多篇手稿，令数学界既震惊又焦虑；但仅约 42% 的成果完成了 Lean 形式化验证，数学家们表示可能需要数年才能消化这批成果。
OpenAI 发布了 openai/math 代码库，其中包含 722 篇手稿，归入 372 个研究脉络——涵盖整数乘法低于 n log n、π 的无理化指数以及 Mahler 猜想等成果。这些成果由一个尚未发布的内部模型在约 4,000 个问题上生成，其中许多结果已用 Lean 形式化。
为应对创纪录的投稿量以及大量不符合学术标准的 AI 辅助生成论文（志愿者版主指出的问题），arXiv 现将每位投稿者的投稿限制为每月两篇新论文，此前还设有三篇在审论文的上限。