Judges and speakers
The Mathathon runs October 30 – November 1 at the California Institute of Technology. A hundred teams work for 40 hours on open problems, with frontier models at their disposal. We are looking for mathematicians and researchers willing to serve as judges, speakers, or both.
What a judge does
Judging happens in two stages, and they are very different jobs.
During the event, judging is based on oral presentations. Teams present what they have found and answer questions, and you assess the promise of the direction rather than the correctness of a finished proof. The question is which lines of attack look most likely to lead somewhere, and which teams understand what they are actually claiming. This is a few hours on the final day, in small panels, and we will do our best to keep you on work in your field. A preliminary judging rubric is available here.
Verifying the proofs comes later. Checking the mathematics properly usually takes months. Judges who want to carry on are invited to take part in that verification after the event, at their own pace and on whichever results interest them. Serving during the event does not commit you to this. We will not describe a result as solved, proved, or verified in any public communication until it has completed this process.
Chat histories and results from the event will be published on mathdb.com.
What a speaker does
Speakers either give a short talk or join a panel discussion at the opening or closing ceremony (10 to 20 minutes), or give a longer talk at a workshop (30 minutes to an hour). Talks are about your own work, about problems you think are ripe, or about what changes when proof assistants and frontier models enter mathematical practice. You are welcome to pose a problem you would like to see attacked over the weekend.