@FinanceYF5：OpenAI 已正式发布此前“解决数学开放问题”声明背后的完整论文：722 篇数学手稿……
摘要
OpenAI发布了此前"解决开放数学问题"声明背后的完整论文：涵盖722份数学手稿、372项重要成果，均来自对约4000个研究问题的测试筛选，每项成果平均消耗相当于ChatGPT Pro思考3小时的算力。
OpenAI 已正式发布此前“解决开放数学问题”声明背后的完整论文：722 篇数学手稿，涵盖 372 项重要成果。这份成果目录源于对内部模型进行的约 4,000 个研究问题测试，随后经过分类和筛选形成。几乎所有成果都遵循同一套标准化流程，每项成果平均消耗的算力相当于 ChatGPT Pro 思考 3 小时。
相似文章
OpenAI 一口气发布 700 份数学证明与反例预印本
OpenAI 发布了一个代码仓库，包含 722 份数学手稿（700 份预印本），按 372 组证明与反例归类，这些内容由一个尚未发布的内部模型生成，其中还包括部分 Lean 形式化验证和精简后的推理轨迹。相关成果涵盖黎曼 zeta 函数、Mahler 猜想以及自由群因子等领域，生成过程中针对约 4,000 个给定问题，每项结果平均使用了约三小时的 ChatGPT Pro 思考算力。
OpenAI 再向震动不已的数学界抛出数百项成果
继其大语言模型解决二十年来最大数学突破之后，OpenAI 宣布其新内部模型已再产出 372 项成果，每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题，且不再需要数百万美元的成本。
@FinanceYF5: Google DeepMind发布AlphaProof Nexus论文： AI agent在353个开放数学问题中自主解决了9个Erdős难题，包括两个56年未解问题，并证明了44个OEIS猜想。 每道题推理成本仅数百美元。
Google DeepMind 发布 AlphaProof Nexus 论文，AI agent 在 353 个开放数学问题中自主解决了 9 个 Erdős 难题（包括两个 56 年未解问题），并证明了 44 个 OEIS 猜想，每道题推理成本仅数百美元。
@FinanceYF5: https://x.com/FinanceYF5/status/2108757519690559912
OpenAI 发布了一个新仓库，收录其未公开内部模型产生的 719 篇数学手稿（归为 372 个结果族），涵盖黎曼 zeta 函数零点区域、Mahler 猜想、自由群因子同构等前沿问题，其中约 42% 的结果已用 Lean 形式化验证，并附带部分推理过程摘要。
OpenAI 计划即将发布数百道由 AI 解决的数学题
据报 OpenAI 计划发布数百道由 AI 解决的数学题，此举引发数学家的批评，他们认为这类输出贬低了人类的数学推理能力以及严格的证明标准。