Caltech Mathathon
- 40 hours, $2M+ AI credits,solve an open problem.
- AI has made groundbreaking progress in pure math in the past few months: May 20, 2026: Erdos's planar unit-distance conjecture was disproved (open 80 years)[1].
- August 1, 2026: The first explicit non-sofic group was constructed (open 27 years)[2].
Unverified
- 40 hours, $2M+ AI credits,solve an open problem.
- AI has made groundbreaking progress in pure math in the past few months: May 20, 2026: Erdos's planar unit-distance conjecture was disproved (open 80 years)[1].
- August 1, 2026: The first explicit non-sofic group was constructed (open 27 years)[2].
Sources: Mathathonchallenge