Tehisintellekti matemaatiline triumf: ChatGPT 5.2 lahendas autonoomselt Erdősi probleemid
Tehisintellekti matemaatiline triumf: ChatGPT 5.2 lahendas autonoomselt Erdősi probleemid
Tehisintellekt ületas järjekordse märgilise barjääri fundamentaalteaduses: uus mudel ChatGPT 5.2 (Thinking) koos formaliseerimissüsteemiga Aristotle lahendas ja verifitseeris edukalt kaks keerulist probleemi Paul Erdősi nimekirjast – nr 205 ja 397.
Läbimurre toimus viienda põlvkonna närvivõrkude autonoomse arutlusvõime (Reasoning) testimise raames. Probleemi nr 205 lahendas ja formaliseeris ChatGPT 5.2 täielikult ilma inimese osaluseta. Paralleelselt sellega esitas ChatGPT 5.2 (Pro) versioon probleemi nr 397 lahenduse. Erilist kaalu annab sündmusele fakt, et üks maailma suurimaid kaasaegseid matemaatikuid, Terence Tao, kinnitas tõestuste korrektsust.
Tehnilised detailid ja Aristotle’i roll
Lahendamise protsessis kasutati kahe süsteemi seost. ChatGPT 5.2 toimis „ideede generaatorina“, kasutades sügavat loogilist planeerimist (DeepResearch), samal ajal kui spetsialiseeritud süsteem Aristotle tagas automaatse formaliseerimise — matemaatiliste tuletuste tõlkimise rangesse loogikakeelde, mis välistab vead.
Terence Tao, kommenteerides probleemi nr 397 lahendust, märkis, et tehisintellekt ei korranud lihtsalt tuntud lahendusi (varem pakkus osalist lahendust Noam Elkies), vaid leidis lihtsama ja elegantsema tee. Kasutades süvaotsingu (DeepSearch) tööriistu, kinnitas Tao, et tehisintellekti pakutud meetodit saab kohandada lõpmatu hulga lahenduste loomiseks, mis varem valmistas uurijatele tõsist raskust.
Kontekst ja tähendus teadusele
Paul Erdősi probleeme peeti aastakümneid kombinatoorika ja arvuteooria keerukuse etaloniks. Paljud neist on jäänud lahendamata vaatamata rahalistele preemiatele, mille Erdős ise eelmisel sajandil välja pani. ChatGPT 5.2 edu demonstreerib kvalitatiivset hüpet „statistiliselt teksti ennustamiselt“ „teadmiste loogilisele sünteesile“.
See ei ole isoleeritud juhtum. Davosi maailmamajandusfoorumil (Davos 2026) tõi NVIDIA juht Jensen Huang juba esile „füüsilise tehisintellekti“ ja „autonoomsed arutluskäigud“ kui aasta peamised trendid. Tema sõnul suudavad süsteemid nüüd mõista mitte ainult keelt, vaid ka keerukaid struktuure – valkude ehitusest kuni abstraktsete matemaatiliste ruumideni.
Mis edasi?
Erdősi probleemide lahendamine avab tee matemaatiliste avastuste massilisele automatiseerimisele. Järgmiseks etapiks on selliste mudelite integreerimine uute materjalide ja ravimite projekteerimise süsteemidesse, kus formaalne loogika ja arvutuste täpsus on kriitilised faktorid. Eksperdid prognoosivad, et lähikuudel kasvab tehisintellekti poolt lahendatud fundamentaalsete probleemide arv geomeetrilises progressioonis.













