Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erd\H{o}s Problems

Gemini AI systematically evaluated 700 open conjectures from Bloom's Erdős Problems database. Using hybrid human-AI methodology, researchers addressed 13 problems: 5 through novel solutions, 8 by identifying existing literature.