Por que os Problemas Lendários de Erdős se Rendem à Inteligência Artificial
OpenAI
O modelo de IA interno da OpenAI refutou o problema da distância unitária de Erdős, um feito histórico inédito. Posteriormente, um modelo chamado Astra resolveu mais problemas de Erdős, marcando uma aparente mudança de fase nas capacidades matemáticas da IA. A influência do site de Thomas Bloom, que compilou os problemas de Erdős, também é examinada.
A OpenAI anunciou que um modelo de IA interno encontrou um contraexemplo para o problema da distância unitária de Paul Erdős, uma conjectura de 1946. O resultado foi posteriormente melhorado por matemáticos humanos, mas foi inovador por usar ideias de uma área distante da matemática. Em 1º de agosto, a OpenAI anunciou que outro modelo, Astra, alcançou 10 avanços matemáticos adicionais, resolvendo mais três problemas de Erdős. Noga Alon observou que esses modelos estão mudando radicalmente a pesquisa matemática. Thomas Bloom criou o site erdosproblems.com no início de 2023 para compilar os problemas de Erdős, e em agosto de 2025 adicionou uma seção de comentários, fomentando uma comunidade. Um matemático amador, Wouter van Doorn, resolveu o problema 1102 com a ajuda da comunidade, recebendo feedback de Terence Tao. Posteriormente, Kevin Barreto e Liam Price, usando GPT-5.2 e GPT-5.2 Pro, tentaram resolver problemas; resolveram o problema 333, mas descobriu-se que Erdős o havia resolvido em 1977, e então resolveram o problema 728 sem que houvesse solução prévia encontrada.
Fonte: Habr — хаб ИИ —
original