[爆卦] 王宜平用AI突破32年拉姆齊數下界

[jackliao1990 (j)]

https://x.com/ypwang61/status/2052508685591785619?
https://github.com/ypwang61/ScaleAutoResearch-Ramsey

作為組合數學的核心難題
拉姆齊數本質上是在尋找無序中必然出現秩序的臨界值

例子：無論派對上的人如何隨機社交，總能找到3個互相認識的小圈子（對應數學中的三角
形結構）或是17個完全互不相識的人（對應17點獨立集），這個最小的派對人數，就是R (3
,17) 。

數學宗師Erdos:“如果外星人威脅地球，要求我們給R (5,5) 的精確值，人類應動用所有算
力；但如果要的是R (6,6)，我們不如直接開戰。”

R (3,17) 自1994年被Wang-Wang-Yan鎖定在92後就停滯了
過去32年大家都這樣做：
先做一張沒有三點互相連結的圖（對應沒有三個互相認識的人）
然後想辦法壓縮圖中互不相連點的數量
只要壓到16個
就能證明下界是93了
然而這樣最多只能壓到18個

華盛頓大學博士生兼xAI員工王宜平反過來想：
我幹嘛一開始就要完美符合要求？
我先做互不相連點不超過16個的圖
就算裡面有幾個違規的三角形也沒關係
然後我再一點點把三角形刪掉
同時保持互不相連的點數量不超標

他搭建了一套AI自我迭代進化的研究框架
系統會同時啟動多組獨立智能體
以不同演算法、初始參數並行搜尋圖結構空間
避免探索陷入局部無解
全程以結構衝突數為評判標準
把每次優化的圖譜存下來當作模板
不斷逼近最優解
AI框架從12個三角形的圖結構出發
最終在92個頂點上成功建構出完美的圖
直接證明了R (3,17)下界為 93
也順帶將R (4,15) 下界難從159提升至160


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.139.212 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1778640859.A.740.html
→ PanaS0Nic: 嗯嗯跟我睡覺時想的一樣
推 elec1141: 跟我想得差不多
推 a8785007: 這個我也懂
→ teddy: idiot sandwich
※ 編輯: jackliao1990 (111.253.139.212 臺灣), 05/13/2026 10:55:44
推 j31404: 快堆
→ GKKR: 跟我想的一樣
→ a7788783: 嗯,好      END。  我看不懂
推 POWERSERIES: AI要讓數學家失業了
→ adios881: 跟我想的差不多
推 chen20: 差不多就這樣
噓 basslife: 我10年前就想過了
→ ipon4490031: 他會是數發部員工嗎？
推 sevenway777: 我也知道～什麼姆的~我不說而已
推 Goog1e: 跟高登拉姆齊(Gordon Ramsay)有關嗎
推 jeffguoft: 那R20呢
→ vowpool: 地域廚房
→ ncncaska: 這個數是不是生到都在吃草了
推 ahb0711: 我之前就這樣說，終於有另一個人發現了
推 photonic: 能從股票賺到錢就厲害了
推 FFMay: 我之前也想過，但想不出來
推 clydebbman: 嗯嗯嗯 跟我算的差不多
推 super009: 這跟六度分隔有什麼關係
→ kyowinner: 講中文好嗎
推 fuhu66: touch it ! touch it !
推 holybless: 馬謖就是不用ai才會一敗塗地
推 Cuchulainn: 人類是有極限的
推 ingenii: 這個拉姆齊會噴人嗎？
→ bustyma19: 我左手算出來的結論跟AI很相似
推 tetani: 算這種東西有什麼用
推 kogsww: 差不多是這樣子了
推 yuetsu: 嗯 跟我想的一樣
→ offstage: 這不就小學科展嗎
推 chung1997: 我也這麼覺得
推 A29586380: 我以為是太生了
→ lewisk: Idiot sandwich
推 DamianLillar: 我昨天也有想到
→ cymtrex: 科技不是給你浪費算這種沒效用的
→ zephyr105: EZ
推 kaitokid1214: 說不定AI在唬爛你的
推 kaeyo: 樓上可能對 說是AI競爭數學 其實都是AI幻覺
推 MKIIjack: 這是智子嗎
推 MrCool5566: 嗯嗯 原來如此
→ z842657913: 跟我想的一樣
→ mutwilly: 我上次也是這樣想
推 ccjj8: It's RAW
推 lunatich: 我只認識狗蛋老母雞
→ MoneyDay5566: 跟我想的一樣
推 Vassili242: 可以說中文嗎
推 tikowm: 跟我的理念差不多 就推導部份薄弱了點
→ LightWorker: 嚴格來說，他是找出了R(3 17) 的下
→ LightWorker: 界是 93. 鴯不是證明
推 cccc1730: 供三小
推 moriyako: 嗯嗯 沒錯 就是這樣
噓 Siu: 只是翻譯得爛吧
推 NEDYA: https://i.imgur.com/nhaZp8Z.jpeg