Skip to contentSkip to stories

Updated

#arXiv

Oct 8

Oct 8Thu

Oct 7

Oct 7Wed

Oct 6

Oct 6Tue

Oct 1

Oct 1Thu

Sep 23

Sep 23Wed

Sep 18

Sep 18Fri

Jul 22

Jul 22Wed

Feb 25

Feb 25Wed
  1. Quoc LeAI score65

    Aletheia Agent Solves 6 of 10 FirstProof Math Problems Autonomously

    AIGoogle researchers used the Aletheia agent, powered by Gemini 3 Deep Think, to attempt 10 FirstProof challenge problems without modification. The agent operated fully autonomously and solved 6 of the 10 problems, according to the post, with methodology and expert evaluations described in the linked arXiv paper.

    Why it matters: The post gives the autonomous setup and expert-evaluated results for an AI agent on FirstProof math problems, useful for judging how far such systems go on research-level math.

Feb 11

Feb 11Wed