TLDR;

A matemática não acabou; a IA já resolve problemas antes inacessíveis, mas humanos continuam essenciais para verificar, interpretar e melhorar os resultados. Um modelo interno da OpenAI encontrou um contraexemplo à conjectura de Erdős sobre posições de pontos no plano, mostrando capacidade de produzir construções pouco intuitivas. É provável que muitos matemáticos adotem ferramentas com suporte de IA para acelerar descobertas e explorar resultados "fáceis", embora ainda seja incerto se a IA criará métodos matemáticos genuinamente novos.

Resumo

A afirmação de que "a matemática está acabada", repetida por Alexander Wissner‑Gross, ganhou repercussão após um modelo interno da OpenAI, não público, apresentar um contraexemplo à conjectura de Erdős — um resultado surpreendente porque humanamente contraintuitivo — e aparentar resolver o problema corretamente em cerca de 50% dos ensaios com tempo de computação suficiente. Esse avanço ilustra o rápido progresso dos grandes modelos de linguagem em tarefas matemáticas, desde erros elementares até contribuições de pesquisa, mas também expõe limitações: o modelo falha em verificar consistentemente sua própria lógica e não podemos avaliá‑lo integralmente por ser proprietário. A reação na comunidade foi mista e por vezes alarmista, com matemáticos apreensivos sobre o futuro da profissão; outros relembraram que humanos rapidamente melhoraram a construção algorítmica apresentada. Um grupo de 150 pesquisadores alertou contra a superestimação comercial dessas tecnologias. A avaliação do autor é moderada: a matemática não acabará, porém muitos matemáticos migrarão para métodos assistidos por IA que aceleram a exploração de literatura e tentativas de prova; ainda há dúvida se a IA desenvolverá verdadeiramente métodos novos além de recombinar padrões humanos. Por fim, o vídeo termina com uma recomendação pessoal do serviço Incogni para remoção automatizada de dados pessoais e oferta de desconto.