OpenAI resolve problemas de Erdős com modelos internos — Terence Tao valida
2 de abril de 2026
OpenAIMatemáticaErdősTerence TaoPesquisa
GPT-5.2 resolveu o Problema #397 de Erdős em 15 minutos, com prova formalizada em Lean e aceita pelo medalhista Fields. Cerca de 100 problemas migrados para 'resolvidos' desde outubro.
Modelos da OpenAI resolveram três problemas adicionais de Erdős e ajudaram a transferir cerca de 100 problemas para a coluna "resolvidos" desde outubro. O GPT-5.2 resolveu o Problema #397 em 15 minutos, com a prova formalizada em Lean e aceita pelo medalhista Fields Terence Tao. É um marco concreto da IA como ferramenta de pesquisa matemática de ponta.
Fonte
Scientific Americanhttps://www.scientificamerican.com/article/ai-uncovers-solutions-to-erdos-problems-moving-closer-to-transforming-math/
Receba conteúdo direto no seu email
Escolha o que funciona melhor pra você.