Google has officially unveiled a major upgrade to Gemini 3 Deep Think, its most sophisticated reasoning model designed to push the boundaries of intelligence in science, research, and engineering.
A marriage of formal methods and LLMs seeks to harness the strengths of both.