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://webptt.cc/bbs/Gossiping/M.1778640859.A.740.html
※ 編輯: jackliao1990 (111.253.139.212 臺灣), 05/13/2026 10:55:44
推文 (55)
→
PanaS0Nic
嗯嗯跟我睡覺時想的一樣
1.34.23.173 05/13 10:54
推
elec1141
跟我想得差不多
114.136.227.222 05/13 10:55
推
a8785007
這個我也懂
110.30.72.212 05/13 10:55
→
teddy
idiot sandwich
27.52.9.60 05/13 10:55
推
j31404
快堆
101.12.162.155 05/13 10:55
→
GKKR
跟我想的一樣
89.117.42.84 05/13 10:56
→
a7788783
嗯,好 END。 我看不懂
42.71.177.138 05/13 10:56
推
POWERSERIES
AI要讓數學家失業了
27.52.38.105 05/13 10:56
→
adios881
跟我想的差不多
162.120.248.86 05/13 10:56
推
chen20
差不多就這樣
27.53.112.237 05/13 10:57
噓
basslife
我10年前就想過了
61.220.127.70 05/13 10:58
→
ipon4490031
他會是數發部員工嗎？
39.12.138.42 05/13 10:58
推
sevenway777
我也知道～什麼姆的~我不說而已
123.192.153.89 05/13 11:02
推
Goog1e
跟高登拉姆齊(Gordon Ramsay)有關嗎
220.129.1.224 05/13 11:02
推
jeffguoft
那R20呢
203.77.42.214 05/13 11:03
→
vowpool
地域廚房
125.227.40.62 05/13 11:03
→
ncncaska
這個數是不是生到都在吃草了
163.30.43.69 05/13 11:03
推
ahb0711
我之前就這樣說，終於有另一個人發現了
163.17.170.12 05/13 11:05
推
photonic
能從股票賺到錢就厲害了
101.12.154.81 05/13 11:06
推
FFMay
我之前也想過，但想不出來
49.215.59.25 05/13 11:07
推
clydebbman
嗯嗯嗯 跟我算的差不多
125.224.29.161 05/13 11:08
推
super009
這跟六度分隔有什麼關係
123.0.226.251 05/13 11:15
→
kyowinner
講中文好嗎
175.182.249.37 05/13 11:17
推
fuhu66
touch it ! touch it !
42.73.83.111 05/13 11:19
推
holybless
馬謖就是不用ai才會一敗塗地
61.66.191.115 05/13 11:21
推
Cuchulainn
人類是有極限的
219.68.24.191 05/13 11:25
推
ingenii
這個拉姆齊會噴人嗎？
42.79.144.93 05/13 11:30
→
bustyma19
我左手算出來的結論跟AI很相似
223.140.62.78 05/13 11:40
推
tetani
算這種東西有什麼用
218.173.204.123 05/13 11:42
推
kogsww
差不多是這樣子了
27.240.162.213 05/13 11:48
推
yuetsu
嗯 跟我想的一樣
114.140.121.190 05/13 11:58
→
offstage
這不就小學科展嗎
101.10.13.64 05/13 11:59
推
chung1997
我也這麼覺得
118.231.161.130 05/13 12:01
推
A29586380
我以為是太生了
203.204.69.253 05/13 12:03
→
lewisk
Idiot sandwich
136.62.185.203 05/13 12:07
推
DamianLillar
我昨天也有想到
111.71.87.126 05/13 12:07
→
cymtrex
科技不是給你浪費算這種沒效用的
42.79.23.85 05/13 12:12
→
zephyr105
EZ
223.137.135.237 05/13 12:13
推
kaitokid1214
說不定AI在唬爛你的
223.137.249.22 05/13 12:14
推
kaeyo
樓上可能對 說是AI競爭數學 其實都是AI幻覺
123.192.184.143 05/13 12:30
推
MKIIjack
這是智子嗎
123.204.104.101 05/13 12:33
推
MrCool5566
嗯嗯 原來如此
223.138.146.87 05/13 12:53
→
z842657913
跟我想的一樣
101.10.219.172 05/13 12:54
→
mutwilly
我上次也是這樣想
49.214.15.242 05/13 13:24
推
ccjj8
It's RAW
42.72.115.63 05/13 13:49
推
lunatich
我只認識狗蛋老母雞
49.218.229.90 05/13 14:25
→
MoneyDay5566
跟我想的一樣
49.218.207.198 05/13 14:26
推
Vassili242
可以說中文嗎
223.137.4.62 05/13 14:32
推
tikowm
跟我的理念差不多 就推導部份薄弱了點
14.191.70.37 05/13 15:05
→
LightWorker
嚴格來說，他是找出了R(3 17) 的下
27.247.92.137 05/13 15:43
→
LightWorker
界是 93. 鴯不是證明
27.247.92.137 05/13 15:43
推
cccc1730
供三小
114.140.83.5 05/13 16:09
推
moriyako
嗯嗯 沒錯 就是這樣
1.163.119.180 05/13 19:07
噓
Siu
只是翻譯得爛吧
60.246.241.169 05/14 06:39
推
NEDYA
https://i.imgur.com/nhaZp8Z.jpeg
1.173.224.66 05/14 10:21