Learn about 'Station,' a new environment where AI agents independently define research topics and collaborate to make mathematical discoveries without central control.
Discover MathCode, which converts complex mathematical problems explained in natural language into code for logical verification.
An accessible explanation for the general public on how the generative AI Claude solves complex mathematical problems, tackles riddles, and where its limitations lie.
OpenAI's unreleased next-generation AI model, 'Astra,' has solved 10 mathematical and theoretical computer science challenges that human experts had failed to crack for years—all in a single day. By publishing the proofs, it demonstrates the potential to radically lower the costs of scientific discovery.
OpenAI has unveiled its next-generation AI model, Astra, which has solved 10 major mathematical problems. What are the characteristics of this model, and is it really as impressive as the marketing claims?
OpenAI has unveiled its next-generation model, Astra, which has solved 10 major challenges in mathematics and computer science. We explain the significance of this milestone and provide an overview of the Astra model.
OpenAI's recently unveiled AI model, GPT-5.6 Sol, is garnering significant attention for solving a mathematical problem that has remained unsolved for over 50 years. We explore how AI is becoming a new protagonist of scientific discovery, moving beyond simple text generation.
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.