Nieuws

Google DeepMind lost negen onopgeloste wiskundeproblemen op met AI

Google DeepMind's AlphaProof Nexus heeft negen open Erdős-problemen opgelost, waaronder twee die 56 jaar onopgelost bleven. Het AI-systeem genereerde machine-geverifieerde bewijzen voor een paar honderd dollar per probleem. Dit gebeurde slechts een dag nadat OpenAI een eigen doorbraak claimde.