Aletheia tackles FirstProof autonomously
Aletheia, a mathematics research agent powered by Gemini 3 Deep Think, successfully solved 6 out of 10 problems in the inaugural FirstProof challenge. The AI system demonstrated autonomous mathematical problem-solving capabilities, with expert assessments confirming its solutions though some disagreement existed on Problem 8.