'Depois de uma hora lendo, ficou claro que a ideia era muito boa'🧮⁠ ⁠ Em 13 de abril, uma inteligência artificial (IA) resolveu uma questão matemática 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.⁠ ⁠ Lichtman trabalhava havia sete anos nesse problema, que acabara de ser resolvido por um entusiasta da matemática que inseriu um único prompt (comando enviado ao sistema de IA) em uma ferramenta de IA.⁠ ⁠ Mas em que consiste esse problema? E o que significa para a matemática uma IA ter conseguido resolvê-lo?⁠ ⁠ Se você acha que já sabe onde esta história vai dar, vale lembrar que, no mundo da matemática, as respostas costumam surpreender.⁠ ⁠ ...