资讯1 分钟阅读·
OpenAI发布722篇数学论文
OpenAI公开内部模型解决的数百个数学难题,附计算成本与Lean形式化证明。
重要性结构性证据E3 可检验写法深度
OpenAI于10月6日在GitHub发布722篇数学手稿,声称其内部前沿模型解决了数百个长期未决的数学问题。
此前9月OpenAI仅宣布解决“超过100个”开放问题,但未提供细节。此次发布响应了新成立的独立顾问组AGMAI的建议,旨在通过透明化缓解学术界对AI抢发成果的担忧。
每篇论文平均消耗约3小时ChatGPT Pro算力。仓库包含部分推理摘要、算力估算及Lean形式化证明代码,供社区验证。OpenAI承诺未来将改进论文引用与展示质量。
结果尚未经过完整同行评审,数学界正评估其正确性与学术伦理影响。