OpenAI发布722篇AI生成数学手稿, 验证问题引争议

摘要

OpenAI发布了一批由其内部前沿模型生成的722篇数学手稿，涵盖数学与理论计算机科学领域的数百个研究问题，整理为372组相关成果，包含证明、替代论证、推论与支撑材料，其中不少结果附有Lean形式化证明。OpenAI表示，在现有数学评测表现开始趋于平台期后，团队把内部模型用于开放研究问题，评测过程约向模型提出4000道题；平均每项结果所用算力约相当于ChatGPT Pro思考三小时。公司同时强调，发布并不意味着所有结果都已完全验证，仓库中成果处于不同检查阶段，部分尚未在Lean中形式化的手稿可能含有错误；更正与修订会被记录，旧版本仍会保留。