Tag
OpenAI 一次性发布了近 400 条 AI 生成的数学结果，涵盖 700 多篇手稿，令数学界既震惊又焦虑；但仅约 42% 的成果完成了 Lean 形式化验证，数学家们表示可能需要数年才能消化这批成果。
OpenAI released the openai/math repository containing 722 manuscripts in 372 research families — spanning results like integer multiplication below n log n, the irrationality exponent of π, and Mahler conjectures — produced by an unreleased internal model over ~4,000 problems, with many results formalized in Lean.
arXiv has capped submitters at two new papers per month (plus an existing three active-submission limit) to cope with record submission volumes and a surge in AI-assisted papers that its volunteer moderators say fall short of scholarly standards.