It keeps getting harder to make the case that LLMs aren’t getting better:

The future of Math is mathematicians and AI agents working together.

Very pleased to introduce @GoogleDeepMind’s AI co-mathematician: a multi-agent system designed to actively collaborate with human experts on open-ended research mathematics.

Mathematicians testing the agent across areas as diverse as group theory, Hamiltonian systems, and algebraic combinatorics have reported impressive results.

In autonomous mode evaluation on the rigorous FrontierMath Tier 4 problems, AI co-mathematician scored an unprecedented 48% — a new high score among all AI systems evaluated.

Epoch.