Capital de TokensAn AI solved nine open mathematical problems
Watch on YouTube Nine mathematical problems that had remained open for decades now have formal proofs, according to a team at Google DeepMind. Two of them were posed 56 years ago. The system that found the proofs is called AlphaProof Nexus, and its result stands out for a very specific reason: it can propose a
Nine mathematical problems that had remained open for decades now have formal proofs, according to a team at Google DeepMind. Two of them were posed 56 years ago. The system that found the proofs is called AlphaProof Nexus, and its result stands out for a very specific reason: it can propose an approach, check each step, and try again when that approach fails. ABC reports that the researchers tested the system on 353 open problems from Paul Erdős’s collection. It solved nine. It also found proofs for 44 of the 492 open conjectures from the Online Encyclopedia of Integer Sequences that it was given.
Full episode: https://youtu.be/G-w4tolXAkM
🤖 AI-generated content: the script, voices, and images in this episode were produced using artificial intelligence tools.
#Shorts