A Chinese AI just solved a decade-old math problem in 80 hours without human help and proved it
The dual agent AI system independently solved Anderson’s 2014 conjecture Rethlas explores problem-solving strategies as a human mathematician would Archon turns potential evidence into projects for the Lean 4 verifier A research team led by Peking University developed a dual-agent AI system capable of solving advanced mathematical problems while verifying its own results. The system […]








