A case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's Erdős Problems database.
The hybrid methodology pairs AI-driven natural-language verification to narrow the search space with human expert evaluation of correctness and novelty.
Of 13 problems addressed, 5 fell to seemingly novel autonomous solutions and 8 to identification of existing solutions in the literature — suggesting their 'Open' status was through obscurity rather than difficulty.