🔥 PTT.BEST 批踢踢爆文 💬 八卦 Gossiping 😊 希洽 C_Chat 💰 股票 Stock 🏠 房屋 home-sale 🏀 美國職籃 NBA ⚾ 棒球 Baseball 👛 省錢 Lifeismoney 🚗 汽車 car 😡 政黑 HatePolitics 💻 電蝦 PC_Shopping 🥰 韓星 KoreaStar ✨ 英雄聯盟 LoL 🍿 電影 movie 🪖 軍事 Military 📡 通訊 MobileComm 🏀 台籃 basketballTW 🍼 寶媽 BabyMother 🇯🇵 日旅 Japan_Travel 🏭 科技 Tech_Job 👉 男女 Boy-Girl 👉 真香 CheerGirlsTW 👧 女孩 WomenTalk 👻 媽佛 marvel 💳 卡版 creditcard 👉 NS NSwitch 👉 PS5 PlayStation 👉 大氣 TY_Research 👉 婚姻 marriage 👉 台南 Tainan 👉 台中 TaichungBun 👉 Steam Steam 👉 高雄 Kaohsiung 👉 羽球 Badminton 👉 超商 CVS 👉 米哈遊 miHoYo 👉 iOS 👉 兄弟 Elephants 👉 日劇 Japandrama 👉 玄幻 CFantasy 👉 ES e-shopping 👉 WOW 👉 遊戲交易 Gamesale 👉 4X BaseballXXXX 👉 Lakers 👉 韓劇 KoreaDrama 👉 汽車買賣 CarShop 👉 機車 biker 👉 新竹 Hsinchu 👉 美保 BeautySalon 👉 串流 OTT 👉 歐美影集 EAseries 👉 手機交易 mobilesales 👉 健身 MuscleBeach 👉 MacShop 👉 Lions 👉 FGO FATE_GO 👉 中劇 China-Drama 👉 數位貨幣 DigiCurrency 👉 暗黑 DIABLO 👉 實習教師 studyteacher 👉 航空 Aviation 👉 藝文票券轉售 Drama-Ticket 👉 韓綜 KR_Entertain 👉 美妝 MakeUp 👉 速食 fastfood 👉 手錶 watch 👉 體適能 FITNESS 👉 攝影 DSLR 👉 Headphone 👉 嘻哈 Hip-Hop 👉 轉珠 PuzzleDragon 👉 美食 Food 👉 蔚藍 BlueArchive 👉 數位相機交易 DC_SALE 👉 筆電蝦 nb-shopping 👉 軟工 Soft_Job 👉 汪踢 Wanted 👉 台綜 TW_Entertain 👉 坂道閒聊 SakaTalk 👉 貓咪 cat 👉 日GO BabyProducts 👉 TypeMoon 👉 MLB 👉 職場 Salary 👉 臺劇 TaiwanDrama 👉 海賊王 ONE_PIECE 👉 PMGO PokemonGO 👉 國營 Gov_owned 👉 碧航 AzurLane 👉 家電 E-appliance 👉 布蘭德 Brand 👉 DMMG DMM_GAMES 👉 贈送 give 👉 神魔 ToS 👉 銀行服務板 Bank_Service 👉 原創 YuanChuang 👉 期權 Option 👉 重機 SuperBike
https://github.com/openai/math/blob/main/CONTENTS.md https://github.com/openai/math/tree/main/preprints OpenAI今天一次釋出722篇數學論文 涵蓋上百道多年未解的重大數學難題 平均每個成果僅需要GPT Pro跑3小時 Sam Altman:「我們正進入一個全新的發現時代。」 OpenAI發言人表示,這次所有結果幾乎都是把單一提示詞交給單一AI代理後產出—,與9 月納維-斯托克斯問題的解法相比,運算成本低了許多 這些重大突破包括: 準黎曼猜想:證明所有狄利克雷L-函數在整個實部大於7/8的半平面內不存在任何零點, 同時徹底消滅了困擾數論界數十年的幽靈-朗道-西格爾零點。這是解析數論半世紀以來 最大飛躍,史上距離完全破解黎曼猜想最近的一步,能極大程度地優化質數定理的誤差項 。過去人類最多只證明一個區域,AI則得到了無零點帶。 霍奇猜想(千禧年難題):證明複數域上具有複乘的阿貝爾簇在所有維度和餘維度上的有理 霍奇猜想並將成果擴展到射影複K3曲面的任意有限乘積,順帶證明了有限域上所有阿貝爾 簇的泰特猜想和任意特徵下的霍奇標準猜想。 BSD猜想(千禧年難題):證明BSD領導項公式在Selmer corank為0或1的橢圓曲線上成立,包 括Tate–Shafarevich 群的有限性。該成果能把完整 BSD猜想推廣到每條橢圓曲線的二 次扭曲中密度為1的族群(特殊秩情況推進到龐大的曲線族) 希爾伯特第十問題(計算機科學聖杯):“有沒有可以永遠判斷任意有理係數多項式方程是 否存在有理解的演算法?”OpenAI 證明不存在這種演算法。 唯一遊戲猜想:“在某些約束滿足問題中要近似找出最佳解的難度是 NP-hard。” OpenAI 證明Khot的唯一遊戲猜想並確立Max-Cut等問題的最佳近似閾值。為近代近似硬度理論的 物理支柱,確立了無數 NP-hard 問題近似演算法的極限。 矩陣乘法指數上限:“計算兩個n乘n矩陣乘法所需的最低時間複雜度指數W是多少?" Open AI證明在複數域上 w上限為9/4=2.25。 ”湯普森群 F 是否具備某種可均勻測量大小的幾何特徵?”幾何群論聖杯。OpenAI證明 湯普森群 F 是非平均可解的。此結果徹底終結了解析拓撲與無限群論的數十年爭論。 歐幾里得平面的五色定理:“要給平面上所有點塗色,使任意距離為1的兩點顏色不同, 最少需要幾種顏色? ”OpenAI證明5種顏色不夠,將可能答案縮小至6或7種。 Hilbert–Smith猜想:"哪些群(對稱)能作用在空間上?是否所有合理情況最後都會變成 李群?"OpenAI 證明所有有限維情況成立。 Kaplansky零因子猜想:“某些群代數裡是否不可能a*b=0 但a和b!=0" OpenAI找到反例,推翻80年猜想。 Grothendieck同倫猜想:“所有空間是否都能用無限層群描述(所有地形是否都能翻譯成 純代數語言?)" OpenAI證明可以。 L=RL=BPL :“能否將所有使用對數記憶體且具隨機性的演算法完全轉化為無需隨機性的對 數記憶體演算法"OpenAI證明 L=RL=BPL並給出顯式多項式時間的去隨機化構造。 Falconer 距離猜想:"若空間中的集合維度夠大,是否其內部點對之間的距離測度必定是 正的" OpenAI解決了猜想的所有二維以上情況。 Mahler猜想:凸幾何核心問題。“在n維實空間中一個凸體及其極性體的體積乘積的最小 值在單純形(對於一般凸體)或立方體/交叉多胞形(對於對稱凸體)處取得。” AI在所 有維度上同時解決了對稱和非對稱的幾何馬勒猜想並對Hanner多胞形和單純形給出了所有 的等號成立條件分類。 乘法函數的普通兩點相關性:數論中極為核心的問題。“有界乘法函數在不同平移下的乘 積平均值是否趨於0。”AI證明普通兩點Chowla猜想並在每個尺度上得到對數冪次等級的 誤差節約。 Crouzeix猜想:“將複雜矩陣代入多項式後會不會突然變得非常巨大?Crouzeix認為不會 超過某個由矩陣的值域控制的量且常數2是關鍵。”OpenAI證明成立。 掛谷猜想:“能在其中將一根單位長度的針旋轉360度的最小面積/體積集合,其維度是多 少” 實分析與偏微分方程的聖杯,OpenAI超越菲獎得主王虹的成果,解決了3維的掛谷極大猜 想與4維豪斯多夫維度猜想。 "用有理數逼近圓周率 π 的極限效率是多少 " OpenAI證明其無理數指數為2並證明Flint -Hills級數收斂 “離散傅立葉變換 (DFT) 的運算極限是否能打破傳統 FFT 的 O(n log n)” OpenAI給出 一個 O(n(logn)^{1-k))的確定性演算法。 離散群的可么正化性暗示平均可解性 :"如果一個群的所有有界表示都能被扭轉成漂亮的 么正(保持距離)表示,這個群是不是一定具備很好的幾何對稱性(平均可解)?OpenAI 證實可么正化必然能導出平均可解性。這是算子代數與泛函分析的重大里程碑,打通了群 表示論與幾何拓撲之間的百年壁壘。 時空彭羅斯不等式:“廣義相對論中黑洞質量必須大於其事件視界對應面積的特定函數” OpenAI在三維以上漸近平坦初始數據上證明嚴格的不等式。 強宇宙審查假說:“在旋轉的亞極端旋轉黑洞時空附近時空最大發展是否在局部上無法向 未來作連續延拓。”OpenAI在無對稱性限制下證明了局部強宇宙審查假說。 “量子磁鐵是否真的會自發磁化?” OpenAI證明低溫下會。 Vlasov–Maxwell:"大量帶電粒子是否永遠穩定(一團電子會不會突然數學爆炸)?”Open AI 證明永遠存在解。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.83.68.137 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1791388529.A.63F.html
推 SAGIN: 樓下幼稚園就想到了49.158.18.95 10/07 23:56
推 homerunball: 奧特曼要角逐諾貝爾獎逆122.118.30.234 10/07 23:56
推 snsdakb48: 跟我想的差不多220.129.6.191 10/07 23:57
推 ubang: 跟我想的一樣118.171.0.98 10/07 23:57
推 tank44444: 不要丟垃圾好嗎220.132.125.27 10/07 23:58
→ m13211: AI幻覺223.143.246.236 10/07 23:59
噓 zephyr105: 等數學家驗證丸再說1.161.38.151 10/08 00:00
推 showdoggy: 期待考拉茲猜想 我昨天還在看42.70.154.112 10/08 00:00
→ zephyr105: 跟大祭元稱某人中風一樣1.161.38.151 10/08 00:00
噓 leptoneta: 目前只有突破證明過程中的部分難題 114.45.16.108 10/08 00:01
→ ramirez: 直接暴力破解!!!!!!!! Math is OVER. 36.237.201.90 10/08 00:01
推 gamesame7711: 沒人能證明AI說的是不是正確1.174.74.223 10/08 00:02
推 lavign: 號稱而已,可信度跟川普的嘴同等級220.134.175.104 10/08 00:02
推 sylviehsiang: 數學家:看不完!驗不完!不玩了! 123.252.23.19 10/08 00:02
推 jhjhs33504: 算力展示1.162.122.101 10/08 00:03
推 StylishTrade: 陶哲軒沒用了QQ1.163.69.140 10/08 00:03
推 pmes9866: 屁勒太扯了吧123.195.155.164 10/08 00:03
推 wju1230: 結果卡在證明這些證明是對的上 118.169.17.198 10/08 00:04
→ StylishTrade: 有數學驗證軟體可以驗證阿 不用人1.163.69.140 10/08 00:04
→ StylishTrade: 驗證軟體是人寫的 不是AI 不會換絕1.163.69.140 10/08 00:05
→ StylishTrade: 幻覺 1.163.69.140 10/08 00:05
推 qwer338859: 恩恩跟我想的一樣 49.159.104.111 10/08 00:05
推 nfsong: GG114.24.100.163 10/08 00:07
→ nfsong: 請AI CoT 講解一下吧114.24.100.163 10/08 00:08
推 vincent0965: 跟我想得都差不多125.14.138.122 10/08 00:08
推 nfsong: 還有人用RUST 把Adobe全家餐都改寫了114.24.100.163 10/08 00:10
→ nfsong: 這些人 燒了多少Token才能重寫114.24.100.163 10/08 00:11
→ nfsong: adobe premiere 114.24.100.163 10/08 00:11
推 dannyao: 數學難的是創造理論吧36.225.20.129 10/08 00:12
推 icehorng: 上網搜尋破解而已 36.228.83.12 10/08 00:12
→ dannyao: 物理也是 創造出能解釋自然現象的理論36.225.20.129 10/08 00:14
→ dannyao: 比計算難多了36.225.20.129 10/08 00:14
推 Waitaha: 陶哲軒要崩潰了XDDD61.228.230.125 10/08 00:14
→ reesion: 可惡 我剛想出來就先被發了175.180.83.118 10/08 00:14
→ dannyao: AI目前還沒看到能創造理論 36.225.20.129 10/08 00:15
→ PRME: 準黎曼 就一定菲爾茲獎了36.226.89.234 10/08 00:15
推 nfsong: GitHub repo:openai/math114.24.100.163 10/08 00:17
→ PRME: 數學系完了36.226.89.234 10/08 00:17
推 now99: 誰來驗證?人類?AI? 111.240.195.39 10/08 00:17
→ nfsong: 大約 4000 種數學問題 114.24.100.163 10/08 00:17
→ nfsong: 產出約700篇論文 400種結果114.24.100.163 10/08 00:18
推 shala: 陶哲軒表示: 72.52.87.91 10/08 00:18
→ nfsong: 235個Lean 證明114.24.100.163 10/08 00:18
推 bye2007: 推分享,真的是太屌了 111.83.107.96 10/08 00:20
推 rhox: 現在直接反過來,AI瘋狂產出,人類只能驗算 36.228.4.159 10/08 00:20
推 nfsong: AI跨領域太強了 人類無法跨領域114.24.100.163 10/08 00:20
→ nfsong: 把AI想成 世界上最強的數理化高手 內捲114.24.100.163 10/08 00:21
推 popptt: AI又增加困難度了,數學家要去檢查AI說的 36.225.44.56 10/08 00:22
→ nfsong: 數學捲 物理化學 ,然後反過來再捲數學114.24.100.163 10/08 00:22
→ popptt: 是不是真的.... 36.225.44.56 10/08 00:22
→ nfsong: 奇異點 脫離人類領域114.24.100.163 10/08 00:22
→ nfsong: 有些人會選擇放棄 能用就好 證明不重要114.24.100.163 10/08 00:23
→ nfsong: 但是 川普定的規則不行114.24.100.163 10/08 00:23
推 bye2007: 真沒想到能看到這一天 AI能夠突破這麼多111.83.107.96 10/08 00:23
→ nfsong: 沙盒 CoT 一定要清楚114.24.100.163 10/08 00:24
→ bye2007: 數學難題.... 111.83.107.96 10/08 00:24
→ TaiwanUp: 霍奇和BSD只是有進展 不是解開 119.14.30.29 10/08 00:24
推 nfsong: 超越人類 以後算不算AGI114.24.100.163 10/08 00:26
推 bensonla: 陶:….. 36.239.188.94 10/08 00:27
→ yuinghoooo: 數學系的研究生:幹您涼36.224.52.131 10/08 00:28
推 nfsong: 數學系的研究生 很開心吧 114.24.100.163 10/08 00:30
→ nfsong: AI 加速了數學的發展 114.24.100.163 10/08 00:30
→ nfsong: 所有人都能靠AI 整理所有數學領域114.24.100.163 10/08 00:31
→ nfsong: 以前連陶 要整理所有問題都不容易114.24.100.163 10/08 00:31
→ nfsong: 現在大一新生 直接破解4000數學難題114.24.100.163 10/08 00:31
推 bye2007: 這根本是大屠殺.... 111.83.107.96 10/08 00:34
推 shintz: 沒人能復證,最後變成反正能跑就不用debug219.91.54.114 10/08 00:34
※ 編輯: jackliao1990 (111.83.68.137 臺灣), 10/08/2026 01:03:37
→ netsphere: NP!=P樓下想到精妙證明可惜寫不下223.139.119.251 10/08 00:39
推 a6000200: https://youtu.be/Z9wjlm9I1CA 36.226.174.202 10/08 00:40
推 atari77: @dannyan 誰說破解不重要 不然提問題不破 61.30.134.55 10/08 00:42
→ atari77: 解那問題有何用 應該說破解已經遠超越人61.30.134.55 10/08 00:42
推 b2305911: 還一直有人危言聳聽說底層工作會被AI取 219.91.33.189 10/08 00:42
→ b2305911: 代 結果AI忙著爆破高級讀書人的專業 219.91.33.189 10/08 00:42
→ atari77: 類 人類只剩找問題這個功能 不然AI沒事幹 61.30.134.55 10/08 00:43
推 lafel: …………人類要做什麼220.134.177.102 10/08 00:44
推 nfsong: 不只有爆破數學 114.24.100.163 10/08 00:45
→ nfsong: 矽谷 現在一堆新創 盯著世界500強的產品 114.24.100.163 10/08 00:45
→ nfsong: 用AI幹一個成本只要1/10 ,1/100 的產品114.24.100.163 10/08 00:46
推 wpd: 所以比特幣要炸了嗎?? 36.231.147.110 10/08 00:46
→ nfsong: 有個新的名詞 AI斬殺線114.24.100.163 10/08 00:46
→ nfsong: 斬殺線 以下的工作 無意義 114.24.100.163 10/08 00:46
→ nfsong: 政府要小心了 很混亂的秩序重整 114.24.100.163 10/08 00:47
推 a77520601: AI拿下了人類本來已經快要突破的領域, 1.165.197.150 10/08 00:48
→ a77520601: 算出來的東西還要數學家無償幫忙審查和 1.165.197.150 10/08 00:48
→ a77520601: 驗算,數學家還拿不到學術名譽。說真的 1.165.197.150 10/08 00:48
→ a77520601: AI可以是很好的工具,不應該踩在巨人的 1.165.197.150 10/08 00:48
推 egain: 50年後天網:摸戒指這個動作 是我故意在最近 211.23.224.1 10/08 00:48
→ a77520601: 頭上。 1.165.197.150 10/08 00:48
→ egain: 500次解題裡面加進去的 才能陰到你這老狐狸 211.23.224.1 10/08 00:49
→ a77520601: 真正有價值的事情還是得靠數學家處理, 1.165.197.150 10/08 00:49
→ a77520601: 名利AI公司雙收 1.165.197.150 10/08 00:49
推 container: 這些解答都是AI編造出來的垃圾假答123.192.233.10 10/08 00:52
推 tsp870197: 跟我想的一樣220.136.74.58 10/08 00:57
推 shadowdio: 所以記憶體什麼時候便宜114.47.219.10 10/08 00:59
推 turndown4wat: 股號?223.137.172.146 10/08 01:04
推 nfsong: AMD 這禮拜來掃貨 很難便宜114.24.100.163 10/08 01:04
→ nfsong: 群聯爽歪歪 114.24.100.163 10/08 01:04
※ 編輯: jackliao1990 (111.83.68.137 臺灣), 10/08/2026 01:09:36
→ bth060104: AI說我是上帝你能論證嗎223.137.210.220 10/08 01:09
推 ebiebibbNOOB: 可以不要偷我的對話嗎 123.241.136.3 10/08 01:12
※ 編輯: jackliao1990 (111.83.68.137 臺灣), 10/08/2026 01:12:49

💬 八卦 Gossiping 版:熱門文章

💬 八卦 Gossiping 版:更多文章