推文

@mr_mofun · 2026-10-07 12:42

数百个数学难题已解？OpenAI一次公开722篇AI数学手稿 OpenAI于10月6日在GitHub一次公开722篇AI生成的数学手稿，归成372组相关论文，README写明目前收录数量。许多手稿附有Lean形式化，但并非每篇都有，官方承认部分未形式化的结果可能有问题，将尽快修正。 这批成果由单一提示词交给单一AI代理完成，平均每篇约当于3小时的ChatGPT Pro运算量。公开内容包含平均运算量与10份推理摘要，逐题提示词尚未公布。 此前9月，OpenAI宣称动用上万个AI代理解开千禧年大奖难题Navier-Stokes，公司估算花费达数百万美元。独立顾问团AGMAI与超过4,000名数学家连署的莱顿宣言，此前曾要求成果存放于不受AI实验室控制的学术典藏库，并公开模型名称、提示词、推理摘要、耗时与运算成本。 GitHub地址：https://github.com/openai/math

曝光 199 · 评论 0 · 点赞 4 · 书签 0