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...
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...