Nieuws

OpenAI-model weerlegt vermoeden van Paul Erdős uit 1946: mijlpaal voor AI-wiskunde

Een intern redeneringsmodel van OpenAI heeft het zogeheten unit distance vermoeden van wiskundige Paul Erdős weerlegd. Het model gebruikte onverwachte technieken uit de algebraïsche getaltheorie om een betere puntenconfiguratie te vinden. Fieldsmedaillewinnaar Tim Gowers noemt het resultaat een mijlpaal voor AI-wiskunde en waarschuwt dat het voor mensen moeilijk wordt om te concurreren met AI bij het oplossen van wiskundige problemen. Negen externe wiskundigen hebben het bewijs geverifieerd, ingekort en becommentarieerd.