AI co-mathematician

An interactive agent workbench supporting mathematical exploration, computation and theory development.

• Developer / Organization: Google DeepMind; Daniel Zheng, Ingrid von Glehn and collaborators
• Category: Related research systems & hosted services
• Purpose: Support mathematicians throughout exploratory research.
• Key features: A stateful agent workbench for ideation, literature search, computation, theorem proving and theory building; research description.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://arxiv.org/abs/2605.06651 (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01