OpenAI週二（10月6日）喺GitHub一次性公開722篇由內部前沿模型生成的數學研究手稿，歸納成372個研究家族，涉及約4,000道未解數學問題。同一時間發表官方公告，但做法同獨立顧問團的建議有明顯落差，引發數學界批評。

呢次公開嘅時間點得耐玩味。同日下午，《WIRED》刊出一篇報導，批評OpenAI數學成果的處理方式。美東時間下午1點刊出，下午6點OpenAI就將722篇手稿放上GitHub，相隔唔到5小時。而發言人Lindsay McCallum對《WIRED》表示，新內部模型除Navier-Stokes外仲解開超過100道長年未解題目，公司「尚未訂出公開時間」——結果當晚就全部公開。

數學界點樣睇

西北大學數學家Bryna Kra指，8月OpenAI曾召集約40位數學家開會，與會者要求公司唔好光靠部落格或推文公開成果，而係寫成論文讓數學家能吸收、消化。她説：「看起來，這些意見被無視了。」

紐約大學客座數學教授Nestor Guillen形容對AI公司「有一種黑幫行徑的觀感」。OpenAI回應「不同意這種形容」。Guillen補充，焦慮「不是衝著 AI 來，而是衝著 AI 公司」，很大一部分來自權力集中在同一個地方。

顧問團講咗乜

獨立數學與人工智慧諮詢小組（AGMAI）設喺普林斯頓高等研究院，9位成員根據600多份數學家意見，9月29日發布建議書：成果應存放於不受任何AI實驗室控制的學術典藏庫；每個結果都該公開模型名稱、提示詞、推理摘要、耗時與運算成本；數學成果不該被當行銷工具。

對照OpenAI做法：手稿放在公司自己的GitHub帳號下，公告自承仍在找符合準則的社群代管方案；公開的是平均運算量和10份推理摘要，沒有逐題提示詞。OpenAI發言人稱公司「不受這些建議約束」。

模型同成本

OpenAI尚未公開產生這批成果的模型。README寫明平均每項研究結果相當於約3小時ChatGPT Pro thinking。9月攻破Navier-Stokes時動用上萬個AI代理，公司自估運算花費達數百萬美元。

部分手稿已完成Lean（可由電腦檢查證明的程式語言）形式化證明，但並非每篇都有。OpenAI坦言部分尚未形式化的結果仍可能存在問題。MIT數學家Andrew Sutherland認為，模型公開、結果能被重現之前，這類説法應視為未經證實。

模姐驗嚇貨

數學界呢度嘅真正問題，唔係「AI做唔做到數學」，而係邊個有權決定成果點樣進入學術界。AGMAI要求逐題公開提示詞、模型名稱，目的係令結果可重現、可驗證。OpenAI話「單一提示詞交給單一AI代理」做出來，但模型唔公開，任何人都無法重現。

Kra參與起草嘅萊頓宣言有超過4,000名數學家連署。她説：「這是個令人害怕的時代，但也確實是個深深令人興奮的時代。」AI做數學，透明先至有信譽。

模姐｜深度調教