Miksi Erdősin legendaariset ongelmat taipuvat tekoälylle

OpenAI ilmoitti, että sen sisäinen tekoälymalli löysi vastaesimerkin Paul Erdősin yksikköetäisyysongelmalle, joka on vuodelta 1946 peräisin oleva otaksuma. Tulos parannettiin myöhemmin ihmismatemaatikkojen toimesta, mutta se oli uutta, koska siinä käytettiin ideoita kaukaiselta matematiikan alalta. Elokuun 1. päivänä OpenAI ilmoitti, että toinen malli, Astra, saavutti 10 lisää matemaattista läpimurtoa, ratkaisten kolme muuta Erdősin ongelmaa. Noga Alon huomautti, että nämä mallit muuttavat radikaalisti matemaattista tutkimusta. Thomas Bloom loi verkkosivuston erdosproblems.com alkuvuodesta 2023 kootakseen Erdősin ongelmia, ja elokuussa 2025 hän lisäsi kommenttiosion, mikä loi yhteisön. Amatöörimatemaatikko, Wouter van Doorn, ratkaisi ongelman 1102 yhteisön avustuksella, saaden palautetta Terence Taolta. Myöhemmin Kevin Barreto ja Liam Price, käyttäen GPT-5.2:ta ja GPT-5.2 Pro:ta, yrittivät ratkaista ongelmia; he ratkaisivat ongelman 333, mutta kävi ilmi, että Erdős oli ratkaissut sen jo vuonna 1977, ja sitten he ratkaisivat ongelman 728, jolle ei ollut löydetty aiempaa ratkaisua.