載入中…
我們正陸續公布由一個內部前沿模型取得、涵蓋廣泛領域的數學新成果。
為了建立與數學界分享成果的標準做法，我們持續諮詢獨立運作的高等研究院數學與人工智慧諮詢小組(在新視窗中開啟)，共同制定最佳實務，並將小組的意見及公開建議(在新視窗中開啟)納入成果發布流程。
這次我們將在 GitHub 程式碼庫中發布成果，並訂定論文修訂與引用規範。我們也持續探索由社群代管、符合該委員會指引的其他平台，作為此次成果發布的替代方案。未來發布成果時，我們承諾會透過改善文獻引用、數學論述及成果呈現方式，進一步提升論文品質，讓內容更易於理解。
在 GitHub 程式碼庫中，我們也分享了許多以 Lean 形式化的證明。Lean 是一種能讓電腦驗證數學證明的程式語言。隨著更多形式化證明完成，我們會陸續將其加入程式碼庫。
為了促進科學研究的透明與開放，我們也在程式碼庫中公布取得這些成果的更多細節。其中包括 10 份模型推理摘要、以 ChatGPT 的 Pro 使用量換算的運算資源消耗估計值，以及嘗試解題數量的統計資料。每項成果平均耗用的運算資源，約相當於 ChatGPT Pro 思考三小時的用量。
我們希望這些進展能拓展人類知識的邊界，並推動數學領域持續進步。我們將資助一系列工作坊、研討會及專項計畫，協助大家理解 AI 取得的重大成果，並會在近期分享更多相關資訊。
我們希望讓科學家能直接運用最先進的能力，並正努力以負責任的方式發布取得這些成果的模型。因此，持續評估內部前沿模型在數學及其他科學領域的表現至關重要，這有助於我們加快開發能推動這些領域進步的工具。我們將持續依據社群回饋採取行動，並更新未來公布重大科學進展時所遵循的標準。
作者
OpenAI
