Tokyo skyline
21 July 2026  ·  LLMC, NII, Tokyo

Fields Model Day

A public event at National Institute of Informatics (NII) in Tokyo, to celebrate the opening of the Fields Model Initiative to the wider AI4Math research community, and the first successful compute partnership with LLMC, NII towards assisting the AIMO Proof Pilot contestants.

Date21 July 2026
Venue
LLMC, NII, Tokyo
AdmissionFree & open to all
What to expect

About the Event

Fields Model Day will feature talks from the winners and organisers of the AIMO and local experts in the AI4Math domain in Japan, presentations by invited AIMO participants, and a panel discussion bringing together experts in AI, Mathematics, and AI Safety to discuss the future of AI for mathematics and open questions of participants.

Find a detailed programme of the event below, and register through the FM Day registration form. Attendance is open to everyone and is free of charge.

Please mail frieder@fieldsmodel.org or michal@nii.ac.jp for further information about the Fields Model Day.

21 July 2026 · starts at 10:00

Preliminary Programme

Schedule is subject to change. All times are JST (UTC+9). Location: LLMC, NII, Tokyo.

10:00 – 10:15
OPENING
Welcome & Opening Remarks
Pontus Stenetorp, Michal Štefánik (LLMC, NII)
10:15 – 10:45
TALK
AIMO Deep Dive
Simon Frieder
10:45 – 11:15
TALK
AIMO Proof Pilot Winner Talk
Yi-Chia Chen
11:15 – 11:30
TALK
AIMO3 Winner #2 Talk
Shuhei Kobayakawa
11:30 – 11:45
TALK
TBD
Kosuke Nakago
11:45 – 12:15
BREAK
Informal discussions with coffee
12:15 – 12:45
TALK
Theorem Proving & AI4Math Research in Japan
Sho Sonoda
12:45 – 13:30
PANEL
Panel Discussion — The Future of AI for Mathematics
Simon Frieder · Pontus Stenetorp · Michal Štefánik · guests
Audience Q&A
~13:30
BREAK
Lunch & Close
All attendees welcome
Fields Model Foundation

About Us

At fieldsmodel.org, we are committed to supporting the development of open-source large language models for mathematical reasoning. With compute support from Research and the Development Center for LLMs (LLMC), National Institute of Informatics (NII), the Fields Model Foundation offers compute grants for open-source AI4Math projects.

Researchers can make an application for a grant to (pre-)train their model, or run any other computationally-expensive experiment that advances AI4Math. We will assess their contribution to the advancement of AI4Math, and we will provide selected participants with hundreds of GPUs for big experiments that would not be possible for small labs or individuals.

Our first partnership has now concluded. Through our collaboration with the AIMO Proof Pilot, we provided participating teams with GPU compute to train their models, with a total value of approximately $250,000 at market rates.