Um problema de Erdős, o 1196, que desafiava especialistas há décadas, foi resolvido em minutos por uma inteligência artificial em 13 de abril de 2026. O matemático Jared Duker Lichtman, da Universidade Stanford, vinha estudando o enigma desde 2019. A solução veio de um entusiasta sem formação acadêmica que enviou um único prompt a uma ferramenta de IA, segundo o Tilt (UOL).
O problema e o matemático
O problema 1196 de Erdős é um dos muitos enigmas deixados por Paul Erdős. Lichtman, que se dedicava ao problema desde 2019, afirmou que, após ler o resultado produzido pela IA, ficou claro que a solução estava correta e que a ideia era "muito boa".
O papel da IA
A solução foi obtida por um amador sem formação acadêmica em matemática, que inseriu um único comando em um sistema de IA. O caso levanta questões sobre o papel das ferramentas de inteligência artificial na pesquisa matemática, especialmente em problemas considerados extremamente difíceis.
O que ainda não foi divulgado
Não foram divulgados detalhes sobre qual ferramenta de IA foi utilizada, nem o conteúdo exato do prompt. Também não há informações sobre a publicação formal da solução em periódico científico.
