OpenAI 剛剛發佈了 722 篇 AI 撰寫的數學論文。這些聲明尚未得到外部數學家的證實。
這批研究成果已經打包上傳至GitHub程式碼倉庫。
https://github.com/openai/math
平均每個難題的解法，大概消耗了ChatGPT Pro深度思考三小時的算力。
為了證明這些解法真實有效，OpenAI同步給出了大量的Lean程式碼。這是一種專門讓電腦核驗數學證明的程式語言，相當於機器已經對答案做過了驗證。
這批成果的技術細節和模型推理過程全部開源。
OpenAI公開了10個具有代表性的模型推理摘要，公佈瞭解題時的嘗試題量統計，並提供了精確的算力開銷估算。
後續更多形式化驗證程式碼還會陸續補充進程式碼庫。
為了讓數學界更好地理解這些AI產出的成果，OpenAI接下來將出資贊助一系列研討會、學術會議和專項交流項目。
同時，他們正在推進安全評估，計畫在未來負責任地正式發佈這個背後的大模型。
這起事件驚動了全球數學界的核心圈子。
普林斯頓高等研究院專門牽頭成立了數學與人工智慧諮詢小組。
這個小組的成員陣容極其豪華，包括愛德華·威滕、蒂莫西·高爾斯、馬丁·海爾等多位頂級學者。
專家小組保持完全獨立運作，不拿OpenAI一分錢報酬，也不對OpenAI的商業決策負責。
他們此前收集了600多份同行問卷調查，針對AI實驗室如何發佈數學成果制定了一套公開準則。
面對OpenAI這次的大動作，專家小組隨後發佈聲明指出，AI的發展把數學研究推到了一個歷史性節點。
專家組明確表示，OpenAI公佈研究只是一個開端。
人類數學家吸收這些機器產出的成果，需要一個漫長的過程。
更關鍵的一點在於，數學研究的未來絕不能變成人類只能被動理解AI生成的內容。
數學家必須保留提出自己問題、探索獨特方向的自由。
要實現這種自由，普通科研人員必須能夠平等獲取頂級的AI研究工具與充足的計算資源。(AI寒武紀)