Ramón López de Mántaras

A team at Google DeepMind has developed AlphaProof, an artificial intelligence system that learns to find formal proofs by training on millions of self-formulated problems. According to the authors, the system “substantially improves upon previous-generation results on historical problems from mathematical competitions.” Specifically, in the 2024 International Mathematical Olympiad (IMO) for secondary school students, “this performance, achieved after several days of computation, resulted in a score equivalent to that of a silver medalist, marking the first time an AI system has achieved medal-level performance.” The results are published in the journal Nature.

The Royal Swedish Academy of Sciences has awarded the Nobel Prize in Physics 2024 to researchers John J. Hopfield and Geoffrey E. Hinton for discovering the foundations that enable machine learning with artificial neural networks. Hinton for discovering the foundational basis that enables machine learning with artificial neural networks. This technology, inspired by the structure of the brain, is behind what we now call ‘artificial intelligence’.