Applicant Portal

Teams of up to four compete; you may apply as a full team or on your own. One application per person; teammates each submit their own.

The general application deadline was October 18, 2026, at 11:59 PM PT. Caltech affiliates may still apply.

You

Full name

Resume PDF, DOC, or DOCX, up to 10 MB. Required.

Your team

Are you applying with a team?

Team name (if you have one)

Teammates (names and emails, one per line)

Your mathematics

Background Coursework, research, programs, competitions, or anything else that shows what you can do. Be specific over comprehensive.

Experience with AI systems for mathematics (optional) Proof assistants, autoformalization, LLM-assisted proof search — anything relevant. No experience is not disqualifying.

Links (optional) arXiv, GitHub, personal site, papers.

Logistics

Where are you travelling from? City and country.

Will you need travel reimbursement?

Anything else (optional)