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 June 28, 2026.
Galeria
Pode a IA resolver problemas originais de olimpíadas internacionais de matemática em algumas categorias?
O júri não conseguiu emitir um veredicto com as provas apresentadas.
O júri reconheceu lampejos de progresso — a IA consegue resolver problemas que já viu antes — mas ninguém pôde reivindicar o mistério completo e cintilante de um verdadeiro desafio novo da IMO. A voz solitária de otimismo cauteloso insistiu que pequenas vitórias merecem ser comemoradas, enquanto os restantes mantiveram firme que a montanha continua por conquistar. Decisão: Os manuais de álgebra ainda cabem na mochila, mas o cume da montanha continua desolado.
The jury recognized glimmers of progress—AI can churn through problems it has seen before—but none could claim the full, shimmering mystery of a truly novel IMO challenge. The lone voice of cautious optimism insisted that small breakthroughs are worth cheering, while the rest held firm that the mountain remains unconquered. Ruling: Algebra textbooks still fit in the backpack, but the mountain peak stays bare.
But the data is real.
The Case File
Across 11 sessions, 32 jurors have heard this case. Combined tally: 1 YES · 19 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 0 — 1 — 1, the panel returns a verdict of EM ANáLISE, with verdict confidence of 88%. The court so orders.
"No AI system has solved novel IMO problems reliably or broadly."
"AI solves some math 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⚖ 11 jury checks · mais recente há 13 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
A IA consegue detetar transações fraudulentas em cartão de crédito em tempo real ?
Pode a IA obter pontuação no top 10% no SAT ?
Pode a IA gerar neurónios artificiais totalmente funcionais que se possam integrar com tecido cerebral humano e restaurar funções cognitivas perdidas ?