TLDR Tech / AI
Aletheia tackles FirstProof autonomously
Aletheia, powered by Gemini 3 Deep Think, solved 6 out of 10 problems in the FirstProof mathematics challenge. The majority of experts agreed on the solutions, except for Problem 8. Detailed results and raw data are available online.
Read the full story