The Next Web· Ana Maria Constantin·· 3 小时前同新闻AI 评分63
OpenAI发布722篇由未发布模型生成的数学论文
OpenAI publishes 722 maths papers written by a model it has not released
AI 导读
OpenAI发布722篇由内部未发布模型生成的数学论文,涵盖372类结果,部分附带Lean形式化证明,每篇平均消耗三小时ChatGPT Pro推理计算。论文存于公共GitHub仓库,部分结果未经形式化验证,OpenAI称将快速修正。
同一新闻,精选展示《OpenAI 发布数学领域AI研究成果,涵盖准黎曼猜想等722个难题》
来源:The Next Web · thenextweb.com