Musing · kept 9 May 2026
AI progress continues
Source XIt 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.
❦
☞ Threads from here
Nearby leaves, connected by subject and form.
352 A voice-first future? shares ai · both musing 354 Cheaper LLM models offer mundane utility shares ai · both musing 357 LLMs offer mundane utility shares ai · both musing 358 AI will make the world more legible shares ai · both musing 313 Use the damn tools shares ai · both musing 360 A few thoughts on AI-assisted writing shares ai · both musing
browse all subjects →