DeepMind razvil umetno inteligenco, ki izvaja matematične dokaze
Veliki jezikovni modeli, ki so najbolj vroča izvedba umetne inteligence v zadnjih letih, niso nikoli sloveli po dobri aritmetiki, a se tudi to popravlja. Še boljši pa so specializirani modeli, kakršen je AlphaProof, ki ga je DeepMind razvil za reševanje matematičnih zagonetk. O njem pišejo v najnovejši številki revije Nature.
