Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Autonomous disproofs of the sum-product conjecture over with GPT-5.5 Pro
Yichen Huang
OpenAI's recent disproof of the ErdÅs unit distance conjecture marked a milestone for AI in mathematics. It also inspired another breakthrough: a human disproof of the ErdÅs--Sze…
cs.AI2025
Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline
Yichen Huang, Lin F. Yang
The International Mathematical Olympiad (IMO) is widely regarded as the world championship of high-school mathematics. IMO problems are renowned for their difficulty and novelty, d…