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

看板Gossiping作者 (j)時間21小時前 (2026/08/04 07:18), 21小時前編輯推噓22(23推 1噓 21→)
留言45則, 33人參與, 6小時前最新討論串1/1
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
推
08/04 07:19, 21小時前 , 1F
五樓也是這樣想的
08/04 07:19, 1F
推
08/04 07:21, 21小時前 , 2F
挖考 數學歷史未解區大掃盲
08/04 07:21, 2F
→
08/04 07:22, 21小時前 , 3F
未來十年的數學諾貝爾獎都是我的
08/04 07:22, 3F
推
08/04 07:22, 21小時前 , 4F
跟我想的一樣
08/04 07:22, 4F
→
08/04 07:23, 21小時前 , 5F
為ai設計一個平行諾貝爾獎，為它的努力
08/04 07:23, 5F
→
08/04 07:23, 21小時前 , 6F
留下表彰
08/04 07:23, 6F
→
08/04 07:24, 21小時前 , 7F
以後隨手解題就不會是新聞了
08/04 07:24, 7F
推
08/04 07:26, 21小時前 , 8F
費爾茲獎得主說最快2年 數學全面超越人類
08/04 07:26, 8F
→
08/04 07:27, 21小時前 , 9F
為什麼都是中文，我卻看不懂啊
08/04 07:27, 9F
推
08/04 07:29, 21小時前 , 10F
還要多久人類會靠ai造出不知道原理的東西
08/04 07:29, 10F
推
08/04 07:34, 21小時前 , 11F
這誰不會？
08/04 07:34, 11F
推
08/04 07:34, 21小時前 , 12F
靠北　　以後可能會限制ａｉ不准碰數學
08/04 07:34, 12F
推
08/04 07:37, 21小時前 , 13F
限制個屁，限制才是最白癡的事情
08/04 07:37, 13F
推
08/04 07:39, 21小時前 , 14F
AI只是工具，驗證還是要人做。限制不准碰
08/04 07:39, 14F
→
08/04 07:39, 21小時前 , 15F
跟美國碼頭工人限制自動化一樣在拖效率。
08/04 07:39, 15F
推
08/04 07:39, 21小時前 , 16F
可惡，我只解了8項
08/04 07:39, 16F
推
08/04 07:41, 21小時前 , 17F
跟我想的一樣
08/04 07:41, 17F
推
08/04 07:44, 21小時前 , 18F
啥時可以自己研發新知識
08/04 07:44, 18F
→
08/04 07:48, 21小時前 , 19F
生成式AI都造出火箭引擎了
08/04 07:48, 19F
推
08/04 08:00, 21小時前 , 20F
它馬的 算力都給我拿去解數學了是吧？
08/04 08:00, 20F
推
08/04 08:09, 20小時前 , 21F
橫掃諾貝爾獎
08/04 08:09, 21F
推
08/04 08:14, 20小時前 , 22F
解數學外可以找出新材料之類的嗎
08/04 08:14, 22F
推
08/04 08:16, 20小時前 , 23F
好強 所以啥時開發核融合反重力
08/04 08:16, 23F
推
08/04 08:16, 20小時前 , 24F
數學家也要失業了嗎？過去能成為數學家
08/04 08:16, 24F
→
08/04 08:16, 20小時前 , 25F
算是天才的直接證據 現在輪不到人類了
08/04 08:16, 25F
→
08/04 08:16, 20小時前 , 26F
……
08/04 08:16, 26F
推
08/04 08:22, 20小時前 , 27F
該輪到AI出題目了
08/04 08:22, 27F
→
08/04 08:23, 20小時前 , 28F
畢竟經典物理極限已經在愛因思坦就被發展
08/04 08:23, 28F
→
08/04 08:23, 20小時前 , 29F
完了
08/04 08:23, 29F
→
08/04 08:24, 20小時前 , 30F
給AI套個公式就可以算到極限，所以未來諾
08/04 08:24, 30F
→
08/04 08:25, 20小時前 , 31F
貝爾數學獎得主要寫得出經過AI驗算正確的
08/04 08:25, 31F
→
08/04 08:25, 20小時前 , 32F
公式才能拿獎
08/04 08:25, 32F
→
08/04 08:28, 20小時前 , 33F
快倒了 嘻嘻
08/04 08:28, 33F
推
08/04 08:37, 20小時前 , 34F
專家還是有存在必要 不然怎麼知道AI詳
08/04 08:37, 34F
→
08/04 08:38, 20小時前 , 35F
解不是在唬爛你w
08/04 08:38, 35F
噓
08/04 08:43, 20小時前 , 36F
你那邊還來的及放空國巨
08/04 08:43, 36F
→
08/04 09:07, 19小時前 , 37F
10個問題太多了 我真的懶得解 還好有AI
08/04 09:07, 37F
→
08/04 09:14, 19小時前 , 38F
AI真的越來越猛，一年來進步超快QQ
08/04 09:14, 38F
推
08/04 09:33, 19小時前 , 39F
嗯嗯對 我也是這樣想的
08/04 09:33, 39F
→
08/04 09:44, 19小時前 , 40F
大躍進讚讚
08/04 09:44, 40F
推
08/04 10:13, 18小時前 , 41F
希望可以發明癌症新藥
08/04 10:13, 41F
推
08/04 12:25, 16小時前 , 42F
AI真的會改變學術界
08/04 12:25, 42F
推
08/04 13:53, 15小時前 , 43F
禁止AI碰數學是最笨的
08/04 13:53, 43F
→
08/04 13:53, 15小時前 , 44F
應該是要站在AI的肩膀上看世界
08/04 13:53, 44F
→
08/04 22:15, 6小時前 , 45F
從此諾貝爾數學物理化學都AI得獎
08/04 22:15, 45F
‣ 更多 jackliao1990 的文章
文章代碼(AID): #1gSI6jkZ (Gossiping)