ALETHEIA TACKLES FIRSTPROOF AUTONOMOUSLY

Summary from the TLDR AI newsletter

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.