OpenAI／官方：未發布內部模型一次過公開七百二十二份數學手稿——約四千題篩出三百七十二組成果，平均每項耗約三小時 ChatGPT Pro 推理；一百六十二份附 Lean 形式化，數學界仍批「新聞稿式數學」
OpenAI 於十月六日公開一批由未發布內部前沿模型產出的數學成果，以 GitHub 儲存庫形式一次過放出七百二十二份手稿，歸納為三百七十二組「成果家族」。官方指模型在評估期間共獲派約四千道題目，平均每項成果耗用相當於約三小時 ChatGPT Pro 推理的算力；目前有一百六十二份論文的主要結果附 Lean 電腦形式化...
