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 August 15, 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 concluiu que a IA consegue resolver secções da Olimpíada Internacional de Matemática, apresentando lampejos de brilhantismo reminiscentes de um promissor estudante de pós-graduação — capaz de resolver certos problemas com elegância, mas ainda demasiado propensa a páginas em branco quando as apostas aumentam. O seu veredicto dividido reflete tanto os progressos no raciocínio simbólico como as lacunas persistentes na criatividade profunda e abrangente de categorias, que ainda deixam espaço para o toque humano. Veredicto: "A IA pode redigir a prova, mas a centelha ainda pertence ao solucionador."
The jury found that AI can tackle sections of the International Math Olympiad, delivering flashes of brilliance reminiscent of a promising graduate student—able to solve certain problems with elegance but still too prone to blank pages when the stakes rise. Their split verdict reflects both the progress in symbolic reasoning and the lingering gaps in deep, category-spanning creativity that still leave room for human flair. Verdict: "AI can draft the proof, but the spark still belongs to the solver.
But the data is real.
The Case File
Across 19 sessions, 46 jurors have heard this case. Combined tally: 4 YES · 29 ALMOST · 13 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 0 — 2 — 0, the panel returns a verdict of QUASE, with verdict confidence of 83%. The court so orders. Verdict upgraded from prior session.
"AI solves some math problems"
"AI solves some Olympiad-level problems but not consistently novel or across all categories."
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⚖ 19 jury checks · mais recente há 3 dias
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.