Há centenas de anos, matemáticos quebram a cabeça com problemas extremamente difíceis que ninguém conseguia resolver.
Eles refletem sobre essas questões, discutem entre si e publicam artigos a respeito. Chegar a uma solução pode ocupar uma vida inteira de trabalho.
Mas, no dia 13 de março deste ano, foi a IA (inteligência artificial) que resolveu um problema matemático que até então ninguém havia conseguido solucionar: o problema 1196 de Erdős.
Especialistas na área ficaram surpresos e, claro, muito interessados.
"Depois de talvez uma hora lendo e conferindo o resultado bruto produzido pela IA, ficou muito claro para mim que estava correto e que a ideia era muito boa", afirma o matemático Jared Duker Lichtman, da Universidade Stanford, nos Estados Unidos.
