作者jackliao1990 (j)
看板Gossiping
標題[爆卦] 已攻克100道數學難題的OpenAI回復數學家
時間Tue Sep 22 21:31:53 2026
OpenAI回應了25位菲爾茲獎得主對AI的訴求-
https://openai.com/index/advisory-group-on-mathematics-and-ai/
《數學與人工智慧諮詢小組》
8月28日我們開始訓練一個新的內部模型。
除了解決納維-斯托克斯方程式千禧年大獎難題
之外,該模型目前已解決了100多個數學大部分領域中長期存在的未解難題。它在數學領
域的進展速度令OpenAI內部的數學家們感到驚訝。這引發了內部討論,探討如何以最佳方
式向數學界通報這進展,以便為該領域的發展做好準備和調整。
數學是基礎科學,其新發現可能帶來廣泛的應用。這使得這些能力的潛力巨大,而負責任
地開發和部署這些能力的重要性也遠遠超出了數學本身。我們認識到這一點,並正在努力
探索如何以負責任的方式更廣泛地部署與數學相關的AI能力。
在最近的一封公開信中,“人工智慧在數學領域存在嚴重錯位”,數學家對將解決開放性
問題作為衡量新型人工智慧系統的基準所帶來的負面外部性表示擔憂。
他們的批評凸顯了人工智慧公司與數學界進行深思熟慮的互動的重要性。
為此,我們正與
一些數學家合作,他們已成立了一個獨立的數學顧問小組。該小組將成為連接數學界和更
廣泛公眾的橋樑,讓數學家在未來的發展方向上擁有發言權。
https://agmai.org/
該小組將為新興研究成果的審查和傳播提供建議。他們將幫助 OpenAI 評估這些成果的重
要性並就如何協調成果傳播、數學研究的學術和專業標準提供建議。此外他們還將就如何
利用我們的工具支援數學研究和學習提供建議。我們希望將強大的工具交付到數學家手中
,讓他們能夠深入研究自己最擅長的問題,並發展新的想法。
該小組將獨立於 OpenAI 運作。小組有權提供我們未要求的建議,評論 OpenAI 對數學的
影響並公開其建議。小組的價值取決於其成員能否運用自身判斷並挑戰我們的判斷。
小組
成員不會從 OpenAI 獲得報酬且小組可以根據需要調整成員組成。重要的是,小組不會負
責就我們如何推進內部數學研究進展提供建議。
與這個團隊合作是第一步。未來還有許多難題需要解決,例如人工智慧如何幫助數學理解
以及如何讓這些能力惠及更廣泛的族群。我們希望數學家能夠成為這些問題答案的核心力
量。
數學與人工智慧諮詢小組的首批成員由普林斯頓高等研究院主持:
Francois Charles
Camillo De Lellis
Timothy Gowers (菲爾茲獎得主)
Martin Hairer (菲爾茲獎得主)
Nikhil Srivastava
Ulrike Tillmann (國際數學聯盟副主席,明年接任正主席)
Ravi Vakil
Edward Witten (菲爾茲獎得主,弦理論學派的領袖)
Melanie Matchett Wood
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.82.191.137 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Gossiping/M.1790083915.A.87D.html
1F:推 Dcwei: 解決這些問題 造福的一樣是人類 數學家只 27.240.113.251 09/22 21:33
2F:→ Dcwei: 是面子上掛不住 他們自己也心知肚明 27.240.113.251 09/22 21:33
3F:推 bye2007: 成立這個AI小組就是要跟前一陣子成立的 111.83.106.78 09/22 21:34
4F:→ bye2007: 人類數學協會打對台吧 有大場面看真有趣 111.83.106.78 09/22 21:34
5F:推 athome1: AI這樣搞要我們這些數學家怎麼活?神龕都 211.21.185.172 09/22 21:35
6F:→ athome1: 快被你們拆了! 211.21.185.172 09/22 21:36
7F:推 dans: 台灣也可以成立一個呀,由唐鳳和杜奕瑾領銜 42.78.40.145 09/22 21:37
8F:推 c24253994: 還有幾集可以逃? 39.12.113.74 09/22 21:38
9F:→ sm905202: 驗證過再來說...不然只是幻覺 49.158.200.43 09/22 21:38
10F:→ Leo4891: AI解題 數學家還是不懂 變成有爭議 1.160.117.109 09/22 21:45
11F:→ potionx: 數學家證明不出來:不算 這局不算 118.166.72.77 09/22 21:50
12F:推 abeliangroup: 你怎麼證明AI證明的是對的 1.163.57.234 09/22 22:09
13F:推 gueswmi: AI能證明啥 底層邏輯 是篩選出最佳組合125.224.163.226 09/22 22:34
14F:→ gueswmi: 人類沒法說他是錯的 如此而已125.224.163.226 09/22 22:34
15F:→ gueswmi: AI 怎麼運算出最後結果 是連開發訓練模型125.224.163.226 09/22 22:37
16F:→ gueswmi: 的研究員 也講不出所以然的黑箱運算125.224.163.226 09/22 22:37