DeepMind proposes a taxonomy for AI-assisted mathematics alongside two Gemini Deep Think research papers

Google DeepMind·low signal

In the past week, Google DeepMind published two papers on using Gemini's 'Deep Think' mode to tackle professional-grade mathematical and scientific research problems, and — after consulting the mathematics community — proposed a taxonomy for classifying AI-assisted math by significance and degree of AI contribution. It's an early attempt to set norms for crediting and evaluating AI's role in real research as labs push models from benchmarks toward open problems.