727财经PANews 10月7日消息，OpenAI在X平台发帖称，将发布由一款内部前沿模型产出的一系列新数学成果，发布方式参考了普林斯顿高等研究院“数学与人工智能顾问组”的建议。其GitHub仓库显示，目前共收录722篇手稿，分为372个成果族；部分附有Lean形式化证明，但并非全部完成验证，OpenAI称部分未经形式化的结果可能存在问题，后续将持续更新。
OpenAI公开内部模型产出的722篇数学手稿
相关资讯
Genius推出收入驱动的回购与销毁机制
PANews 11月1日消息，链上交易终端 Genius 宣布扩展 $GENIUS 在生态中的作用，推出收入驱动的回购与销毁机制，并为持有者带来新权益。核心变化主要有三，一是 Genius App...
OpenAI：ChatGPT与Codex将共享额度，12月起实施
PANews 11月1日消息，据智通财经报道，OpenAI发布公告，将于今年12月调整ChatGPT与Codex的使用额度规则。根据新规，ChatGPT Plus、Pro和Business三大付费套餐的使用额度将...