浙大卒業生がAIで32年ぶりにラムゼー数の下限を更新

浙江大学の卒業生である王宜平氏が、自ら開発したAIフレームワークScaleAutoResearch-Ramseyを用いて、ラムゼー数R(3,17)の下限を92から93に引き上げ、1994年以来の長期停滞を打破した。同時にR(4,15)の下限を160に更新し、Google DeepMindのAlphaEvolveを凌駕。ブレークスルーはClaude Code、Codex、1台のCPUサーバのみで達成され、成果は完全にオープンソース化された。