Circula no Reddit a captura de tela de um GPT-5.4 supostamente resolvendo, em uma única tentativa, um problema de Paul Erdős que estava em aberto há mais de seis décadas. Se confirmado por matemáticos sérios, é o tipo de coisa que muda o jogo da pesquisa.
O problema é o de sempre com esses anúncios: screenshot não é prova. Já vimos modelos da OpenAI, Google DeepMind e Anthropic acertarem questões duríssimas e também inventarem demonstrações que parecem certas e desmoronam na revisão. Sem peer review, é hype.
Ainda assim, a tendência é real. Modelos de ponta estão fechando o cerco em conjecturas que humanos não destravaram. A próxima fronteira não é se a IA vai contribuir para a matemática — é como a comunidade vai validar o que ela cospe.
Via Reddit.
Fonte: i.redd.it · Imagem de capa: Foto de Vitaly Gariev no Unsplash