正在載入...
我們正發佈一系列由內部前沿模型取得、涵蓋多個範疇的數學新成果。
為了規範向數學界分享成果的方式，我們一直就制定最佳做法，諮詢獨立的高等研究院數學與人工智能諮詢小組（在新視窗中開啟），並將其意見和公開建議（在新視窗中開啟）融入這些成果的發佈方式。
這次我們會在 GitHub 程式碼庫發佈成果，並訂明論文修訂及引用的規則。我們也繼續探索其他由社群託管、符合該委員會指引的平台，以發佈這批成果。未來發佈成果時，我們承諾會改善文獻引用、數學論述及成果的呈現方式，進一步提升論文質素，讓讀者更容易理解。
我們也在 GitHub 程式碼庫中分享了許多證明的 Lean 形式化版本。Lean 是一種程式語言，可讓電腦驗證數學證明。隨着取得更多形式化證明，我們會將其加入程式碼庫。
為了促進科學研究的透明度與開放性，我們也會在程式碼庫中公佈取得這些成果的更多細節。其中包括 10 份模型推理摘要、以 ChatGPT 的 Pro 使用量估算的運算資源消耗，以及模型嘗試解答的問題數量統計。每項成果平均耗用的運算資源，大約相當於 ChatGPT Pro 思考三小時。
我們希望這些進展能拓展人類知識的邊界，並推動數學領域進一步發展。我們將資助一系列工作坊、會議及專題計劃，促進各界理解 AI 取得的重大成果，並會在不久的將來分享更多詳情。
我們希望讓科學家能直接運用最先進的技術能力，並正努力以負責任的方式發佈取得這些成果的模型。因此，持續評估內部前沿模型在數學及其他科學領域的表現十分重要，這有助我們加快開發能推動這些領域進步的工具。我們會繼續根據社群的意見採取行動，並更新未來公佈重大科學進展時所遵循的標準。
作者
OpenAI
