Did AI solve a 30-year-old math problem? Does it really understand?
We explain simply how the latest AI model, GPT-5.6 Sol, solved mathematical puzzles that had remained unsolved for 30 years, and how this will change our daily lives.
We explain simply how the latest AI model, GPT-5.6 Sol, solved mathematical puzzles that had remained unsolved for 30 years, and how this will change our daily lives.
OpenAI's latest AI model, GPT-5.6 Sol Ultra, has proven the 50-year-old mathematical puzzle known as the 'Cycle Double Cover Conjecture' in just one hour. We explain how AI is changing the history of mathematics.
AI and mathematicians have collaborated to prove why lattice triangles are almost non-existent in certain mathematical domains.
Google DeepMind and NYU have used AI to find new solutions to the Navier-Stokes equations. We explain how this will change the future of weather forecasting and aircraft design.
Google DeepMind has joined forces with the world's leading mathematicians. We explain the core of the 'AI for Math' initiative, showing how AI can solve complex mathematical challenges and accelerate scientific discovery in an easy-to-understand way.
What if you had a brilliant AI friend to solve difficult math problems for you? We explain Google DeepMind's 'AI for Math' initiative, launched in collaboration with world-class research institutes, in very simple terms.
Introducing the 'AI for Math Initiative,' a new project by Google DeepMind and leading global universities to solve mathematical challenges using artificial intelligence.