Waarom de legendarische problemen van Erdős bezwijken voor kunstmatige intelligentie

OpenAI heeft aangekondigd dat een intern AI-model een tegenvoorbeeld vond voor het eenheidsafstandsprobleem van Paul Erdős, een vermoeden uit 1946. Het resultaat werd later verbeterd door menselijke wiskundigen, maar was nieuw omdat het ideeën uit een ver verwijderd deel van de wiskunde gebruikte. Op 1 augustus kondigde OpenAI aan dat een ander model, Astra, tien extra wiskundige doorbraken bereikte en drie extra problemen van Erdős oploste. Noga Alon merkte op dat deze modellen het wiskundig onderzoek radicaal veranderen. Thomas Bloom creëerde de website erdosproblems.com begin 2023 om problemen van Erdős te verzamelen, en in augustus 2025 voegde hij een commentaarsectie toe, die een gemeenschap bevorderde. Een amateurwiskundige, Wouter van Doorn, loste probleem 1102 op met hulp van de gemeenschap en ontving feedback van Terence Tao. Later probeerden Kevin Barreto en Liam Price, met behulp van GPT-5.2 en GPT-5.2 Pro, problemen op te lossen; ze losten probleem 333 op, maar het bleek dat Erdős het al in 1977 had opgelost, en losten daarna probleem 728 op zonder dat er een eerder bewijs was gevonden.