Gemini Helps Address 13 Open Erdős Problems in Math Case Study
Original titleExcited to share our latest work: "Semi-Autonomous Mathematics Discovery with Gemini." We used Gemini to systematically evaluate 700 "ope...
AISummary
Quoc Le announced a case study using Gemini to systematically evaluate 700 conjectures labeled open in the Erdős Problems database. The team addressed 13 problems, finding 5 novel autonomous solutions and identifying 8 existing solutions missed by previous literature.
Source: Quoc Le · x.com