Accelerating Mathematical and Scientific Discovery with Gemini Deep Think

Collaborating with experts on 18 research problems, an advanced version of Gemini Deep Think helped resolve long-standing bottlenecks across algorithms, ML and combinatorial optimization, information theory, and economics. Highlights from our “Accelerating Research with Gemini” paper include:

Crossing mathematical borders for network puzzles: Progress on classic computer science problems like "Max-Cut" and the "Steiner Tree" had slowed down. Gemini broke both deadlocks by thinking outside the box. It solved these discrete algorithmic puzzles by pulling advanced tools—like the Kirszbraun Theorem, measure theory, and the Stone-Weierstrass theorem—from entirely unrelated branches of continuous mathematics.

Settling a decade-old conjecture in online submodular optimization: A 2015 theory paper proposed a seemingly obvious rule for data streams: making a copy of an arriving item is always less valuable than simply moving the original. Experts struggled for a decade to prove this. Gemini engineered a highly specific three-item combinatorial counterexample, rigorously proving the long-standing human intuition false.

Machine learning optimization: Training AI to filter out noise usually requires engineers to manually tune a mathematical "penalty." Researchers created a new technique that did this automatically, but couldn't mathematically explain why. Gemini analyzed the equations and proved the method succeeds by secretly generating its own "adaptive penalty" on the fly.

Upgrading economic theory for AI: A recent 'Revelation Principle' for auctioning AI generation tokens only worked mathematically when bids were restricted to rational numbers. Extending the domain to continuous real numbers invalidated the original proof. Gemini employed advanced topology and order theory to extend the theorem, accommodating real-world, continuous auction dynamics.

Physics of cosmic strings: Calculating gravitational radiation from cosmic strings requires finding analytical solutions to tricky integrals containing "singularities." Gemini found a novel solution using Gegenbauer polynomials. This naturally absorbed the singularities, collapsing an infinite series into a closed form, finite sum.

Spanning diverse fields—from information and complexity theory to cryptography and mechanism design—the results demonstrate how AI is fundamentally shifting research. This work demonstrates that general foundation models, leveraged with agentic reasoning workflows, can act as a powerful scientific companion. As Gemini evolves, it acts as a "force multiplier" for human intellect, handling knowledge retrieval and rigorous verification so scientists can focus on conceptual depth and creative direction.