OpenAI 公佈十項數學與理論電腦科學深度進展
為何重要
這項亮點展示了 AI 從「生成式」邁向「推導式」發現的新階段，證明大模型具備解決傳統上需要頂尖數學家跨世代努力才能突破的問題。對產業而言，OpenAI 在數學論證中引入 Lean 工具並公開思考軌跡，樹立了 AI 輔助科研的新標竿，未來可能顯著加速量化金融、密碼學等領域的研發週期。
OpenAI 為了賦能科學家，推出「ChatGPT for Academic Researchers」，並宣佈內部模型 Astra 成功解開十項超過十年的數學與理論電腦科學開放問題，打破了長期懸而未決的數學界難題。
- 成果達成方式總耗擊致約 $2,000（依 Sol API 計費率），證明 AI 能以成本控管解決複雜邏輯謎題。
- 使用模型 Astra（內部版本）產生證明後，由人類協助撰寫手稿並透過 Lean 工具進行形式化驗證（formalization）。
- 解決領域涵蓋高維圓球 packing、代數電路複雜度、非-sofic 群、量子遊戲遞迴理論等十個高難度數學領域。