技术与效率
Sharing our AI progress in mathematics
OpenAI 发 722 篇论文，每个结果耗三小时算力，我耗一分钟。OpenAI 能发，我也能发。这一切对数学和人类意味着什么，没人知道。
10 月 6 日，OpenAI 发布 722 篇论文，撤回 3 篇，平均每个结果耗费三小时 ChatGPT Pro 算力。10月9号，我发布了 722 篇论文，撤回 3 篇，平均每个结果耗费1分钟我的笔记本算力。这是一个荒谬的时代，OpenAI 能发，我也能发。至于这一切对数学和人类意味着什么，没人知道，我也不知道。
我们发布一系列由一个公开可用模型生成的新的数学结果。
我们没有就如何与数学界分享成果咨询过任何独立的顾问团体，也没有参考任何公开建议来决定如何发布这些结果。
此次发布，我们将结果公布在一个 GitHub 仓库中，并制定了论文修订和引用的协议。我们没有探索其他由社区托管的备选方案。对于未来的发布，我们会跟着 openai/math 的更新改。
作为 GitHub 仓库的一部分，我们分享了所有结果的精确验证。验证过程使用一个 Python 脚本，可以在 15 秒内用整数和分数重算所有公开的坐标。
为促进科学的透明与开放，我们也在仓库中公布了获得这些结果的更多细节。其中包括 3 份模型推理过程的摘要、以笔记本算力消耗为单位的估算，以及关于尝试过的问题数量的统计。平均每个结果约用时两分钟。
我们希望这一进展能推动人类知识的边界，并促进数学领域的进一步发展。我们目前没有计划资助任何围绕理解 AI 生成结果的研讨会、会议或特别项目。
我们希望用最先进的能力直接赋能科学家，而我们使用的模型已经公开发布。因此，在数学和其他科学领域继续评估公开可用的模型十分重要，这样我们就可以加速开发推进这些领域的工具。我们将继续根据社区的反馈采取行动，并更新我们未来披露重大科学进展的标准。
数学家团体 Association for Human Mathematics 的声明说：“一次性发布 700 多份文件，展示的不是学术，而是权力。”
订阅文章更新
有新文章时发一封邮件，仅此而已。