IA chega à pesquisa matemática

Em abril do ano passado, chegou até mim um vídeo em que Eric Schmidt, ex-presidente-executivo do Google, profetiza que em apenas um ano haveria inteligências artificiais demonstrando teoremas, no nível dos melhores estudantes de doutorado em matemática do mundo. Leia mais (03/17/2026 - 23h00)