原文標題：Sharing AI progress in mathematics
OpenAI 10 月 6 日宣布，公開一批由內部前沿 AI 模型協助產生的數學研究成果，並將相關文件放在 GitHub 儲存庫。官方強調，這次不只公布結果，也建立論文修訂與引用流程，希望研究社群能追溯後續更正。部分證明另提供 Lean 形式化版本，讓可形式化的數學論述能交由電腦進行機械檢查，而非只依自然語言描述判斷正確性。
OpenAI 表示，研究發表方式參考了 Institute for Advanced Study 數學與 AI 諮詢小組的建議，並將持續改善論文敘述與引用品質。公司另外公開 10 份模型推理摘要、問題嘗試次數統計，以及以 ChatGPT Pro 思考用量換算的運算成本估計。依官方說法，平均每項成果所需運算約相當於三小時的 ChatGPT Pro 思考額度。
這次公布的重點是研究流程與成果可檢查性，而不是宣稱所有結果都已通過學術期刊審查。OpenAI 也表示仍在評估如何負責任地釋出產生這些成果的內部模型，並計畫資助相關研討會與研究活動。數學社群仍須獨立檢驗各項主張、證明與重要性，不能因模型生成或部分形式化就視為所有結論均已完全確立。
發生了什麼事
OpenAI 公開 AI 產生的數學研究、部分 Lean 證明與研究過程統計，並提出修訂引用流程。
為什麼重要
AI 參與數學研究後，如何讓成果可重現、可引用與可由社群檢查，成為技術可信度的重要問題。
影響哪些人
數學研究人員、形式化驗證社群、AI 研究者與使用模型輔助科研的團隊。
已確認與未確認
部分證明已提供 Lean 版本，但不代表所有研究都經獨立同儕審查；內部模型的公開時間尚未確定。
