AIGoogle Researchabout 1 hour ago
Google Teams Solve Decades-Old Math Problems
14 min read
On November 13, 2026, Google Research and academic partners used Gemini 4 models and Antigravity's /teamwork system to solve open problems in mathematics and computer science. Researchers proved the 2013 Courtade, Kumar conjecture, generating 50 million lines of code in Lean 4. They also resolved a 2014 gap in adaptive data analysis and settled a 2014 quantum computing question.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyGoogle
