727财经PANews 10月7日消息，OpenAI在X平台发帖称，将发布由一款内部前沿模型产出的一系列新数学成果，发布方式参考了普林斯顿高等研究院“数学与人工智能顾问组”的建议。其GitHub仓库显示，目前共收录722篇手稿，分为372个成果族；部分附有Lean形式化证明，但并非全部完成验证，OpenAI称部分未经形式化的结果可能存在问题，后续将持续更新。
PANews 10月7日消息，OpenAI在X平台发帖称，将发布由一款内部前沿模型产出的一系列新数学成果，发布方式参考了普林斯顿高等研究院“数学与人工智能顾问组”的建议。其GitHub仓库显示，目前共收录722篇手稿，分为372个成果族；部分附有Lean形式化证明，但并非全部完成验证，OpenAI称部分未经形式化的结果可能存在问题，后续将持续更新。