OpenAI发布722篇AI数学手稿，引发优先权与验证争议

美东时间10月6日，OpenAI发布由一款尚未公开的内部模型撰写的722篇数学研究手稿，归纳为17个领域的372个成果类别，其中162篇附有Lean形式化证明，官方称每项成功结果消耗的算力相当于ChatGPT Pro思考3小时。