Resolution criteria: - "Yes": Wins if, strictly after 2026-01-01T00:00:00.000Z and at or before 2027-01-01T00:00:00.000Z, at least 10 distinct Erdős problems that were listed as unsolved/open at the start of that window are marked as solved on erdosproblems.com and the credited resolution is attributed to an AI system (i.e., an AI model or AI-assisted proof is identified as the primary driver of the solution in the problem's record or in the peer-reviewed or formally verified record supporting it). - "No": Wins if, as of 2027-01-01T00:00:00.000Z, fewer than 10 distinct Erdős problems meet the above conditions. Clarifications: - A qualifying resolution requires: (1) the problem was listed as open on erdosproblems.com as of 2026-01-01T00:00:00.000Z; (2) it is marked solved or closed on erdosproblems.com at or before 2027-01-01T00:00:00.000Z; and (3) the solution is credited to or driven by an AI system, as established by a peer-reviewed publication, formal verification, or an official announcement from a recognized research institution published within the window. - Each problem is counted at most once regardless of how many AI systems independently resolve it.

• https://www.erdosproblems.com
• https://github.com/google-deepmind/formal-conjectures
• https://arxiv.org/list/math.CO/recent
• https://en.wikipedia.org/wiki/List_of_conjectures_by_Paul_Erd%C5%91s

Jan 1, 2027, 12:00 AM UTC