AIMO at IMO 2024

Stream: Machine Learning for Theorem Proving

[Floris van Doorn]

The AIMO prize website claims "There will be a presentation of progress at the 65th IMO, held in Bath, England in July 2024."

Does anyone know more about this or whether this is recorded/livestreamed somewhere?

[Jason Rute]

Albert Jiang said:

(not at the IMO) From what I hear, Deepmind is presenting AlphaGeometry at the moment. There'll be a presentation by Project Numina on the 1st progress-prize winning solution. It's not livestreamed afaik but hopefully recorded.