AI product
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.
1 use taken from transcripts — each links to the moment in the video.
Used with a mathematician to prove lemmas after human experimentation produced a better statement.
1 in the library.