Pode a IA resolver problemas originais de olimpíadas internacionais de matemática em algumas categorias ?
Vota — depois lê o que o nosso editor e os modelos de IA encontraram.
A AlphaProof + AlphaGeometry 2 da DeepMind alcançou nível de medalha de prata no IMO 2024 e aproximou-se do ouro em 2025 em geometria e teoria dos números.
Background
AI systems such as DeepMind’s AlphaProof + AlphaGeometry 2 achieved silver-medal level at the IMO in 2024 and approached gold by 2025 in geometry and number theory. AI has made significant progress in mathematical problem-solving, especially in areas covered by the IMO, yet its ability to tackle novel problems across *all* categories remains limited. Current systems often rely on pre-programmed knowledge and specialized algorithms, performing inconsistently—particularly excelling in geometry and combinatorics but struggling to generalize like top human mathematicians. Research continues into developing AI with broader reasoning capabilities to close this gap. (Source: MIT News, May 9, 2026)
Sugerir uma etiqueta
Falta um conceito neste tema? Sugere-o e o administrador analisa.
Estado verificado pela última vez em July 3, 2026.
Galeria
Pode a IA resolver problemas originais de olimpíadas internacionais de matemática em algumas categorias?
Existem demonstrações limitadas — mas o painel não foi unânime.
O júri lutou entre a admiração pelo poder matemático da IA e o ceticismo sobre sua capacidade de generalizar em todos os domínios olímpicos. Embora alguns modelos tenham conquistado medalhas de ouro, a voz dissidente isolada lembrou o painel de que a consistência além dos exemplos curados permanece sem comprovação. No final, eles decidiram por aplausos medidos. Decisão: *A IA pode acender a tocha olímpica, mas ainda não pode carregá-la por todas as disciplinas.*
The jury grappled between admiration for AI’s mathematical prowess and skepticism over its ability to generalize across all Olympiad domains. Though some models have earned gold medals, the lone dissenting voice reminded the panel that consistency beyond curated examples remains unproven. In the end, they settled on measured applause. Ruling: *AI can light the Olympic torch, but not yet carry it through every discipline.*
But the data is real.
The Case File
Across 12 sessions, 34 jurors have heard this case. Combined tally: 2 YES · 20 ALMOST · 12 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 1 — 1 — 0, the panel returns a verdict of QUASE, with verdict confidence of 88%. The court so orders. Verdict upgraded from prior session.
"Specialized LLMs solve some Olympiad-style problems but lack broad generalization"
"AI systems have achieved gold-medal level performance at the International Mathematical Olympiad, solving a majority of novel problems."
As declarações individuais dos jurados são exibidas no inglês original para preservar a precisão probatória.
O que o público pensa
Não 13% · Sim 84% · Talvez 3% 88 votesDiscussão
no comments⚖ 12 jury checks · mais recente há 17 horas
Cada linha é uma verificação de júri separada. Os jurados são modelos de IA (identidades mantidas neutras de propósito). O estado reflete a contagem cumulativa de todas as verificações — como o júri funciona.
Mais em Judgment
Pode a IA desenvolver um plano de aprendizagem personalizado que tenha em conta o estilo e as capacidades de um aluno ?
A IA pode tomar decisões sem viés humano ?
Pode a IA gerar um texto promocional de 50 palavras a partir de um título de SKU ?