Rezultati i dokazi za 372 dosad neriješena matematička problema proizašli su iz internog modela, izrađeni su prema smjernicama neovisnih stručnjaka i objavljeni na GitHubu
Smjer u kojem se razvija umjetna inteligencija i način na koji "rješava" matematičke probleme nije dobar, tvrde stručnjaci, već otvara mnoga pitanja o metodama, autorstvu i urušava temelje struke
Uz pomoć umjetne inteligencije dokazan je nastanak singularnosti u Navier-Stokesovim jednadžbama, no kritičari kažu da je tek riječ o "brute force" metodi koja se oslanja na ljudski rad
Međunarodna skupina matematičara objavila je deklaraciju kojom poziva na oprez od komercijalnih pritisaka i upozorava na nepouzdanost matematičkih rješenja koje generira umjetna inteligencija
Model OpenAI-ja autonomno je riješio Erdősev problem jedinične udaljenosti u ravnini, otkrivši neočekivane veze s algebarskom teorijom brojeva i označivši novu eru suradnje ljudi i AI-ja
Tim predvođen Sveučilištem u Pekingu razvio je AI okvir koji je samostalno riješio i verificirao problem iz komutativne algebre, sintetizirajući desetljeća literature u 19.000 linija koda
U prvom tjednu ove godine OpenAI-jev najnoviji jezični model uspješno je kreirao matematičke dokaze za Erdőseve probleme #728, #729 i #397, što je potvrdio i slavni matematičar Terence Tao
Međunarodna matematička olimpijada poslužila je tvorcima naprednih modela umjetne inteligencije da testiraju svoje matematičko rezoniranje, a prvi rezultati govore u prilog velikom napretku
Matematičar Jineon Baek sa Sveučilišta Yonsei u Južnoj Koreji objavio je stostranični dokaz koji rješava dugogodišnju matematičku zagonetku poznatu kao "problem useljenja trosjeda". Riječ je o izračunu najvećega dvodimenzionalnog predmeta koji se može provući kroz L-oblikovani hodnik.
