A year resolves yes, if a program that is called AlphaGeometry by official Google Deepmind communication can get enough points to win at least bronze on the International Mathematics Olympiad of that year. The years are resolved completely independent of each other.

Criteria:

• The program does not have to be the exact same code as the that of the paper published on Jan 17, 2024.

• The program has to be called AlphaGeometry by Google Deepmind. If a program is called AlphaGeometry 2.0, that is not sufficient.

• If the program is called AlphaGeometry, but also something else (to distinguish it from the original version), that is fine (c.f. AlphaGo Fan and AlphaGo Lee)

• AlphaGeometry has to be actually run on the problems of an IMO and receive enough points for a bronze medal. If nobody publicly announced that AlphaGeometry succesfully ran on IMO problems of a particular year, that year resolves NO.

I will not bet on this market.

Related questions: