Google AI co-mathematician workbench for research (AI Co-Mathematician paper)

A reported paper describes an “AI Co-Mathematician” workbench built around Gemini-based agents, designed as a stateful research workspace that supports parallel agent workstreams, literature search, testing ideas, and…