Google solved a mathematical hypothesis using Gemini 4

Google researchers applied the Antigravity's /teamwork multi-agent system in conjunction with Gemini 4 models to solve fundamental problems. The complex helped prove a long-standing hypothesis in information theory.

During the process, the algorithms succeeded in proving the 2013 Courtade–Kumar hypothesis. In addition, the system successfully resolved a number of open problems in the fields of optimization, quantum computing, and algorithms.

The project demonstrates the practical effectiveness of multi-agent workflows in conducting complex scientific research and solving problems previously considered unsolvable for automated systems.