Resolution criteria: - "Yes": Wins if, strictly after 2026-01-01T00:00:00Z and at or before 2027-01-01T00:00:00Z, at least 10 distinct Erdős problems that were previously classified as unsolved have been publicly announced as fully resolved (proved or disproved) with AI as the primary solver, where each resolution is supported by a credible public announcement (e.g., a preprint, institutional announcement, or entry on erdosproblems.com) and the solution has not been subsequently retracted or disqualified by the relevant mathematical community. - "No": Wins if, strictly after 2026-01-01T00:00:00Z and at or before 2027-01-01T00:00:00Z, fewer than 10 distinct previously unsolved Erdős problems meet the conditions above. Clarifications: - "Previously unsolved" means the problem was listed as open or unsolved on erdosproblems.com or in the established mathematical literature prior to the AI resolution being announced. - "Fully resolved" means a complete proof or disproof of the problem as stated; partial results, solutions to variant problems, and cases where AI only located pre-existing human literature are not counted. - Each problem is counted at most once regardless of how many AI systems solved it; a problem counts only if AI is credited as the primary driver of the new resolution, not merely as an assistive tool for a human-led proof.

• https://arxiv.org/search/?searchtype=all&query=Erd%C5%91s+problem+AI
• https://www.quantamagazine.org

Jan 1, 2027, 12:00 AM UTC