ChatGPT 5.4 Pro rešil 64 let star matematični problem

Slo-Tech - Umetna inteligenca je že nekaj časa sposobna dokazovanja preprostih matematičnih izrekov, sedaj pa smo dobili prvo rešitev dotlej nerešenega matematičnega problema. ChatGPT-5.4 Pro je rešil enega izmed Erdősovih problemov, katerega dokaz se je izmikal 64 let. Še toliko neverjetnejši je človek, ki je dokaz želel. ChatGPT je problem rešil, ker mu je tako naročil 23-letni Liam Price, ki ni poklicni matematik. Dokaz so preverili tudi strokovnjaki in potrdili, da je pravilen.

ChatGPT je rešil enega izmed znamenitih problemov, ki se nanaša na množice paroma tujih števil. Price ni skušal pisati zgodovine in sploh ni vedel, da je problem nerešen in tako pomemben. V ChatGPT je vpisoval različne Erdősove probleme in preverjal, kakšne rezultate vrne. Rezultat je nato poslal kolegu Kevinu Barretu, ki na Univerzi v Cambridgeu obiskuje drugi letnik dodiplomskega študija matematike, ki je opazil pomembnost rešitve. O njej je obvestil druge strokovnjake, ki so mu pritrdili.

Jared Lichtman s Stanforda, ki je leta 2022 v svoji disertaciji dokazal del povezani problem, je pojasnil, da ChatGPT ni vrnil lepo oblikovanega članka z dokazov. ChatGPT je vrnil precej težko razumljivi rezultat, ki pa ga je bilo mogoče razumeti in prepisati v lično obliko. To je storil skupaj z matematikom Terenceom Taom z UCLA. Dodala sta, da je ChatGPT pokazal na nov način razmišljanja o velikih številih, kar utegne imeti pomembne posledice za raziskave.