OpenAI's AI disproved the Erdős unit distance conjecture, an 80-year-old geometry problem. Days later, Google DeepMind solved ...

An artificial intelligence model developed by Alphabet Inc.’s Google DeepMind unit has won a gold medal in the International Mathematical Olympiad. The company announced the achievement today, two ...

At the heart of this breakthrough lies AlphaProof, a sophisticated formal reasoning AI model developed by the brilliant minds at Google DeepMind. This innovative system has demonstrated an ...

An AI system developed by Google DeepMind, Google’s leading AI research lab, appears to have surpassed the average gold medalist in solving geometry problems in an international mathematics ...

Kendra Pierre-Louis: For Scientific American’s Science Quickly, I’m Kendra Pierre-Louis, in for Rachel Feltman. In 1997, Deep Blue, a supercomputer built by IBM, did the unexpected: it defeated chess ...

Several years before ChatGPT began jibber-jabbering away, Google developed a very different kind of artificial intelligence program called AlphaGo that learned to play the board game Go with ...

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...