[爆卦] Openai的Astra解決10項數學難題

[jackliao1990 (j)]

https://openai.com/index/ten-advances-in-mathematics/

Openai 正在開發代號Astra的模型家族
主攻多AI代理長時間協同解決高難度問題的能力
最近Openai宣布用Astra攻克十道長年 懸而未解的數學難題
範圍橫跨高維幾何、程式設計理論、群論、晶格密碼學、量子複雜度、算數電路複雜度與
極值組合學等領域
其中三道是Erdos（世界最強數學家陶哲軒的老師）留下的問題

1.高維球體堆積
球體堆積密度的新上限，直至 Cohn-Elkies 閾值
2.二進制碼和球面碼
在任意給定的最小距離下，二進位碼的最大尺寸界限呈指數級改進，高維度球面碼也有類
似的結果。
3.非索菲群
一種建立非索菲群存在性的構造，解決了群論中的一個核心未解問題。
4.康涅斯剛性猜想
推翻了一個長期存在的猜想，即某些群是由它們的馮諾伊曼代數唯一確定的
5.算術電路複雜度
使用算術電路和公式計算永久式的新下界，包括 n^4/log n階算術公式下界
6.量子並行重複
針對一般雙人量子賽局的指數平行重複定理，擴展了經典複雜度理論中的基本原理
7.最近向量問題
最近向量問題的近似多項式因子難度，這是與後量子密碼學相關的基礎格問題
8.埃爾哈特體積猜想
確定凸體在每個維度上的最大可能體積，其中凸體的質心是其唯一的內部格點
9.多色拉姆齊數
多色三角形拉姆齊數的超指數下界，解決了Erdos第183道問題。
10.極值數猜想
關於極值圖論中的緊緻性和退化性猜想的結果，解決了 Erdos 第146 和 180道問題。

過程中Astra負責產出論證
人類則借助模型協助整理論文草稿
最後AI再將論證轉換為Lean程式碼進行形式化驗證
若以GPT-5.6 Sol的API費率計算
找出這些問題解答需要的token成本約為2000美元

"我們對那些關注其影響的人士，包括《萊頓人工智慧與數學宣言》的簽署者，都抱持著
深深的敬意和理解。我們認為署名應真實反映結果的產生方式：將完全由AI產生的證明歸
於人類作者，既扭曲了系統的貢獻，也扭曲了真正人類智力勞動的本質。"

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.82.62.233 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1785799085.A.BA3.html
※ 編輯: jackliao1990 (111.82.62.233 臺灣), 08/04/2026 07:19:36
推 love0504:  五樓也是這樣想的
推 iLeyaSin365: 挖考 數學歷史未解區大掃盲
→ iLeyaSin365: 未來十年的數學諾貝爾獎都是我的
推 luckydogasdf: 跟我想的一樣
→ sd09090: 為ai設計一個平行諾貝爾獎，為它的努力
→ sd09090: 留下表彰
→ error405: 以後隨手解題就不會是新聞了
推 zelkova: 費爾茲獎得主說最快2年 數學全面超越人類
→ turnpoint: 為什麼都是中文，我卻看不懂啊
推 btaro: 還要多久人類會靠ai造出不知道原理的東西
推 q123212: 這誰不會？
推 Xaymaca: 靠北　　以後可能會限制ａｉ不准碰數學
推 simon0529: 限制個屁，限制才是最白癡的事情
推 Richun: AI只是工具，驗證還是要人做。限制不准碰
→ Richun: 跟美國碼頭工人限制自動化一樣在拖效率。
推 v7q4: 可惡，我只解了8項
推 sushi11: 跟我想的一樣
推 jack529: 啥時可以自己研發新知識
→ q123212: 生成式AI都造出火箭引擎了
推 dogdream: 它馬的 算力都給我拿去解數學了是吧？
推 darren9: 橫掃諾貝爾獎
推 edwinrw: 解數學外可以找出新材料之類的嗎
推 Mathematica: 好強  所以啥時開發核融合反重力
推 Loyeatta: 數學家也要失業了嗎？過去能成為數學家
→ Loyeatta: 算是天才的直接證據 現在輪不到人類了
→ Loyeatta: ……
推 ohlong: 該輪到AI出題目了
→ KFC007: 畢竟經典物理極限已經在愛因思坦就被發展
→ KFC007: 完了
→ KFC007: 給AI套個公式就可以算到極限，所以未來諾
→ KFC007: 貝爾數學獎得主要寫得出經過AI驗算正確的
→ KFC007: 公式才能拿獎
→ Iperfection: 快倒了 嘻嘻
推 wbt77hsy: 專家還是有存在必要 不然怎麼知道AI詳
→ wbt77hsy: 解不是在唬爛你w
噓 g1254501: 你那邊還來的及放空國巨
→ vowpool: 10個問題太多了 我真的懶得解 還好有AI
→ ad1339: AI真的越來越猛，一年來進步超快QQ
推 WashiJoe: 嗯嗯對 我也是這樣想的
→ XDDDpupu5566: 大躍進讚讚
推 samtony: 希望可以發明癌症新藥