AIQuoc Le announced a case study using Gemini to systematically evaluate 700 conjectures labeled open in the Erdős Problems database.
Why it matters: The case study shows how a systematic AI sweep found new solutions and missed prior literature across 700 open Erdős conjectures, offering a concrete look at AI-assisted math research.

