新聞 
幣種資訊 
關於我們 
OpenAI執行長山姆·奧特曼（Sam Altman）表示，他理解數學家面對AI研究成果公開時承受的壓力，但重大科學發現不應被擱置。
奧特曼在29日公開的《Cheeky Pint》訪談中說：「人類有權享有基礎知識。」他也表示，研究者親自解題所獲得的成就感與職業滿足同樣重要。
他表示，OpenAI正尋找公開知識、同時顧及相關領域研究者的做法，希望兼顧公開原則與研究者的角色。主持人問到已公開的「700項證明」之外是否還有其他成果時，奧特曼回答「當然有」，但未說明新增成果的數量或公開時程。
截至30日，OpenAI數學儲存庫收錄721篇稿件，分為373個系列。稿件數與系列數是不同的統計單位；一個系列可能包含核心成果、補充論證或其他證明，因此721篇稿件不能解讀為721項彼此獨立的證明。
儲存庫說明，各篇稿件的驗證階段不盡相同，部分稿件尚未完成「Lean形式化」，也就是將數學證明轉換為可由電腦檢查的形式。排名前列的成果中，約42%完成Lean形式化；這個比例並非全部稿件的形式化比例。
OpenAI於26日公布數學、電腦科學與物理學領域的3項研究成果，並依領域採取不同的公開方式與驗證程序。數學成果公開了AI產出；電腦科學成果也公開產出，並讓外部研究團隊參與說明與驗證；物理學成果的AI產出則依合作團隊決定延後公開。因此，奧特曼談及的公開原則，實際執行方式仍因成果而異。
OpenAI表示，這些稿件應視為仍待檢視的研究資料，而非已完成的學術論文。外部研究者是否參與由其自行決定，研究者的結論也不代表OpenAI立場。
獨立數學與AI顧問小組（AGMAI）於6日發布聲明表示，參與諮詢不代表支持OpenAI的研究成果或公開程序。小組指出，成果公開只是其被數學界接受過程的起點，必要評估應由數學共同體進行；研究者也應有自行提出問題、探索研究方向的空間。
本刊此前曾報導奧特曼的納維－斯托克斯證明工作成本估算。此次訪談則談及研究成果公開與學界審查程序。OpenAI數學儲存庫表示，稿件修訂時會保留舊版本，並在新版本中記錄修改內容。
留言 0