Mathathon is centered around one question: how can we use AI to augment human understanding of mathematics?

Consider the four color theorem, the ABC conjecture, or the Navier-Stokes problem. Many mathematicians find their proofs—or claimed proofs—difficult to understand or unsatisfying. We invite our participants to pick a problem with an unintuitive solution, develop an alternative proof or exposition, then present it to their peers. The event consists of two rounds:

Round 1: Onsite, 40 hours. Teams will make preliminary progress and give live talks before judges and other contestants.

Round 2: Remote, 2 months. Teams will produce an online explainer and a GitHub repository. The explainer can take any form: a draft paper, a video, an interactive game, et cetera.…