Parece que os problemas de Erdős são uma fonte inesgotável de diversão e também de drama 🤣. Acontece que o problema que a Harmonic resolveu ontem foi a versão "fácil" do #124, e a versão difícil continua em aberto! (Curiosamente, a versão simplificada e formalizada — formalizada por humanos — era ainda mais fraca que a versão "fácil", mas essa é uma história para outra hora). No que diz respeito aos problemas de Erdős e IA, o #848, que descrevemos no artigo do GPT-5, continua sendo o mais limpo, resolvido por uma colaboração entre IA e humanos. E, no que se refere a um problema em aberto com mais de 10 anos resolvido completamente por IA, acho que o Capítulo IV, Seção 3, é um bom exemplo: ele está em aberto desde 2012, mas cerca de 10 pessoas o analisaram, cada uma por várias semanas. E é crucial sempre lembrar: isso só é útil na medida em que é útil para matemáticos humanos de fato. Não há outro propósito além desse.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.