Nieuws

AI-oplossing voor 80 jaar oud probleem schokt wiskundigen

OpenAI's AI heeft een tegenvoorbeeld gevonden voor het planaire eenheidsafstandsprobleem van Paul Erdős, een vermoeden uit 1946. Wiskundigen, waaronder Daniel Litt en Timothy Gowers, zijn onder de indruk van de autonomie en diepgang van het bewijs. Dit is de eerste keer dat een AI een open wiskundig probleem van deze omvang heeft opgelost met minimale menselijke tussenkomst.