OpenAI verlegt de grens van geautomatiseerd redeneren met een 'mijlpaal in AI-wiskunde' die experts nu aan het ontleden zijn

Een redeneermodel van OpenAI heeft een vermoeden van wiskundige Paul Erdős over eenheidsafstandsmeetkunde weerlegd — een probleem dat sinds 1946 openstond — met behulp van algebraïsche getaltheorie die experts nooit in deze context hadden verwacht. Fields-medaillewinnaar Tim Gowers noemt het resultaat "een mijlpaal in AI-wiskunde" en waarschuwt dat we een tijdperk zijn binnengegaan waarin het voor mensen zeer moeilijk wordt om met AI te concurreren bij het oplossen van wiskundige problemen.