OpenAI 在 2026 年 10 月 6 日宣布，公開一批由內部前沿模型產出的新數學成果。 這些成果涵蓋多個領域，並把許多證明做成 Lean 形式化版本，讓電腦可以自動檢查正確性。 他們在公開前諮詢了普林斯頓高等研究院（IAS）「數學與人工智慧諮詢小組」的意見，並參考該小組先前的公開建議，決定這次以什麼方式、釋出多少細節。官方說，這是為了在推進知識的同時，也顧及數學社群對 AI 產出成果的引用、審核與呈現方式的期待。 目前公開的內容放在 GitHub 儲存庫（https://github.com/openai/math），除了 Lean 證明，還包括部分推理過程摘要、問題嘗試次數的統計，以及算力消耗估計。 OpenAI 表示，平均每一項成果大約相當於 ChatGPT Pro 連續思考約三小時的計算量。 他們同時說明後續做法：會持續改進論文的引用、數學表述與呈現品質；資助相關研討會與專題活動，幫助學界理解這些 AI 產出的主要結果；並計畫在負責任的前提下，逐步公開產生這些成果的模型。 官方也表示，會根據社群回饋調整未來公開標準，並把類似評估擴展到其他科學領域。 完整說明見：https://openai.com/index/sharing-ai-progress-in-mathematics/