科技
OpenAI公开内部模型产出的722篇数学手稿
PANews 10月7日消息,OpenAI在X平台发帖称,将发布由一款内部前沿模型产出的一系列新数学成果,发布方式参考了普林斯顿高等研究院“数学与人工智能顾问组”的建议。其GitHub仓库显示,目前共收录722篇手稿,分为372个成果族;部分附有Lean形式化证明,但并非全部完成验证,OpenAI称部分未经形式化的结果可能存在问题,后续将持续更新。
阅读全文本文仅展示来源提供的标题与摘要,完整内容及版权归原发布方所有。
前往 PANews 原文 FireView 对公开资讯进行聚合和分类,不代表对来源内容的背书,也不构成投资建议。新闻可能存在延迟、修订或错误,请以原发布方为准。
