AI Co-Mathematician

Trends

• AI starts producing verified scientific and mathematical results

Items

1. May 7

   Google DeepMind's AI Co-Mathematician

   A stateful multi-agent workbench on Gemini 3.1 Pro runs parallel workstreams for ideation, literature search, computation, and proving, scoring a state-of-the-art 48% on FrontierMath Tier 4 (vs. 19% for the base model) and solving three problems no AI had solved.