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.
