Caltech Mathathon – first hackathon ever devoted to research level mathematics
Caltech will host the first research-level mathematics hackathon on October 30, giving 100 teams frontier AI models to attack open conjectures.
The Caltech Mathathon runs October 30 to November 1, assembling about 100 teams that will receive frontier models and over $2 million in AI credits to work on open mathematical problems. Teams will defend their results before leading mathematicians, with prize rounds before and after community verification of the results. The announcement cites recent AI-driven math results, including the disproof of Erdos's 80-year-old planar unit-distance conjecture, the first explicit non-sofic group, and a claimed complex structure on the six-sphere (unverified).
- Runs October 30 to November 1 at Caltech with roughly 100 invited teams
- Over $2 million in AI credits plus prizes before and after peer verification
- Cites 2026 AI math results: planar unit-distance conjecture disproved, first explicit non-sofic group
- Organizations
- Caltech
- Countries
- United States
- AI models
- frontier models
From the original article
1 min read at mathathonchallenge.comAI 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] .
By astroanax · mathathonchallenge.com
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.