A Zhejiang University alumnus, Wang Yiping, has utilized a self-developed AI framework named ScaleAutoResearch-Ramsey to break a 32-year-old record in Ramsey number theory. His work successfully raised the lower bound for R(3,17) from 92 to 93, surpassing previous research, including that from Google DeepMind. The AI framework, which is fully open-sourced, achieved this breakthrough with modest computational resources, employing tools like Claude Code and Codex. AI
影响 Demonstrates AI's capability to accelerate scientific discovery in theoretical fields, potentially opening new avenues for research in mathematics and computer science.
排序理由 Academic research paper detailing a novel AI application to solve a long-standing mathematical problem. [lever_c_demoted from research: ic=1 ai=1.0]
- Claude Code
- Codex
- Google DeepMind
- Inventiones Mathematicae
- Microsoft
- R(3,17)
- R(4,15)
- ScaleAutoResearch-Ramsey
- University of Washington
- Wang Yiping
- xAI
- Zhejiang University
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →