AI Tools / AI products & services
Gemini Deep Think is an AI reasoning system used in mathematical research. In the cited example, a mathematician used it to prove lemmas after human experimentation led to a stronger problem statement.
Used with a mathematician to prove lemmas after human experimentation produced a better statement.