Nieuws

Google Deepmind's AlphaProof Nexus lost decennia-oude wiskundeproblemen op voor een paar honderd dollar

Google Deepmind heeft AlphaProof Nexus ontwikkeld, een raamwerk dat autonoom negen open Erdős-problemen oploste, waaronder twee die 56 jaar onopgelost bleven, voor een paar honderd dollar per probleem aan inferentiekosten. Het systeem gebruikt de Lean-compiler om elke bewijsstap te verifiëren. Het totale slagingspercentage bedraagt echter slechts 2,5 procent.