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. Več na Slo-Techu.