Aletheia, a Gemini Deep Think agent, tackles PhD-level math and open Erdős conjectures
Original titleThe first paper in the blog describes Aletheia, an agent based on Gemini Deep Think. Aletheia moves beyond Olympiad problem-solving to ta...
AISummary
Quoc Le announced a paper describing Aletheia, an agent built on Gemini Deep Think that goes beyond Olympiad problems to PhD-level mathematics. The post says Aletheia iteratively generates and verifies proofs, collaborates on human-AI research, autonomously generates a paper on eigenweights, and solves open Erdős conjectures.
Source: Quoc Le · x.comPublished · added here