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 ...

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 ...

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 ...

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 ...

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

Three mathematicians just proved a famous 30-year-old conjecture in geometry, with only a tiny assist from AI. The conjecture says that even within enormous, scattered and chaotic assemblages of ...