Google researchers built Aletheia, an agentic system powered by Gemini 3 Deep Think that generates, verifies, and revises solutions to difficult mathematical problems. The system has already contributed to research papers and produced several novel solutions to long-standing Erdős problems. Read our summary of the paper in The Batch https://hubs.la/Q046FkM00