Skip to content
AI News HubLIVE
More
Summary only

ZJU Alumnus Breaks 32-Year Ramsey Number Lower Bound Using AI

Wang Yiping, an alumnus of Zhejiang University, leveraging his self-developed AI framework ScaleAutoResearch-Ramsey, successfully raised the lower bound of the Ramsey number R(3,17) from 92 to 93, breaking a record stagnant since 1994. He also increased the lower bound of R(4,15) to 160, surpassing Google DeepMind's concurrent AlphaEvolve research. The entire breakthrough was achieved using only Claude Code, Codex, and a single CPU server, with results fully open-sourced.

Source量子位Author: 西风
ZJU Alumnus Breaks 32-Year Ramsey Number Lower Bound Using AI
Report an error

The correction channel is not available yet. You can copy the article reference below for later.

Correction instructions

Summary only

Under the source content permission, this page provides an editorial summary, key points, and a link to the original article.

Key points and analysis

Article intelligence

InvestorsAdvanced

Key points

  • Wang Yiping used a custom AI framework to raise R(3,17) lower bound to 93, breaking a 32-year record
  • The R(4,15) lower bound was also raised to 160, exceeding DeepMind's AlphaEvolve
  • The breakthrough used only Claude Code, Codex, and a single CPU server, with all results open-sourced
  • The method adopted a reverse approach: starting with graphs containing a few triangles and iteratively removing them while repairing conflicts

Highlights and analysis are generated automatically and may contain errors. Check the original source.

More recent stories on this topic · Agents