Stuff AI CAN'T Do

¿Puede la IA resolver problemas de matemáticas de nivel de posgrado en muchos dominios ?

¿Qué opinas?

Más allá del cálculo universitario hacia combinatoria, álgebra abstracta, análisis real. No es toda la matemática, pero sí gran parte de ella.

Background

AI systems have made significant progress in solving graduate-level math problems, particularly with the development of deep learning and machine learning algorithms. These systems can now solve complex problems in various domains, such as algebra, geometry, and calculus, often with a high degree of accuracy. However, their ability to solve problems across many domains is still limited, and they often require significant training data and computational resources to achieve good results. While AI systems are not yet capable of fully replacing human mathematicians, they can be useful tools for assisting with certain types of mathematical problems.

Estado verificado por última vez en August 9, 2026.

📰

Galería

In the Court of AI Capability
Summary of Findings
Verdict over time
May 2026May 2026May 2026May 2026May 2026May 2026Jun 2026Jun 2026Jun 2026Jun 2026Jun 2026Jul 2026Jul 2026Jul 2026Jul 2026Jul 2026Jul 2026Aug 2026Aug 2026
Sitting at the Bench Filed · ago. 9, 2026
— The Question Before the Court —

¿Puede la IA resolver problemas de matemáticas de nivel de posgrado en muchos dominios?

★ The Court Finds ★
▲ Upgraded from Casi

El jurado encontró una respuesta claramente afirmativa.

Ruling of the Bench

El jurado encontró la evidencia abrumadora: la IA actual no solo procesa símbolos, sino que resuelve demostraciones que dejan perplejos a la mayoría de los doctores en filosofía, moviéndose con facilidad entre dominios que van desde la topología hasta la teoría de números sin despeinarse. No hubo disidencias que empañaran el veredicto; el registro quedó limpio 1-0. Ecuación tras ecuación, las máquinas han graduado *magna cum laude*.

— Hon. J. von Neumann III, Presiding
Jury Tally
1
0Casi
0No
Verdict Confidence
95%
The Court of AI Capability is, of course, not a real court.
But the data is real.
The Case File · Stacked History
Session I · May 2026
Session II · May 2026
Session III · May 2026 Casi · 83%
Session IV · May 2026 Casi · 77%
Session V · May 2026 Casi · 84%
Session VI · May 2026 Sí · 82%
Session VII · Jun 2026 Casi · 78%
Session VIII · Jun 2026 Sí · 82%
Session IX · Jun 2026 Sí · 98%
Session X · Jun 2026 Sí · 98%
Session XI · Jun 2026 Sí · 98%
Session XII · Jul 2026 Casi · 89%
Session XIII · Jul 2026 Casi · 87%
Session XIV · Jul 2026 Casi · 88%
Session XV · Jul 2026 Sí · 95%
Session XVI · Jul 2026 Casi · 80%
Session XVII · Jul 2026 Casi · 80%
Session XVIII · Aug 2026 Casi · 80%
Case № 4DE2 · Session XIX
In the Court of AI Capability

The Case File

Docket № 4DE2 · Session XIX · Vol. XIX
I. Particulars of the Case
Question put to the court¿Puede la IA resolver problemas de matemáticas de nivel de posgrado en muchos dominios?
SessionXIX (19 hearing)
Convened9 ago. 2026
Previously ruledYES (May '26) → YES (May '26) → ALMOST (May '26) → ALMOST (May '26) → ALMOST (May '26) → YES (May '26) → ALMOST (Jun '26) → YES (Jun '26) → YES (Jun '26) → YES (Jun '26) → YES (Jun '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → YES (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Aug '26) → YES (Aug '26)
Presiding JudgeHon. J. von Neumann III
II. Cumulative Tally Across Sessions

Across 19 sessions, 42 jurors have heard this case. Combined tally: 22 YES · 20 ALMOST · 0 NO · 0 IN RESEARCH.

Note: cumulative includes older juror opinions. The current session tally above is the live verdict.

III. Verdict

By a vote of 1 — 0 — 0, the panel returns a verdict of , with verdict confidence of 95%. The court so orders. Verdict upgraded from prior session.

IV. Declaraciones del tribunal
Jurado I

"Leading models like o1/o3-series and DeepMind’s AlphaProof solve Olympiad-level math problems reliably."

Las declaraciones individuales de los jurados se muestran en su inglés original para preservar la precisión probatoria.

J. von Neumann III
Presiding Judge
M. Lovelace
Clerk of the Court

Lo que el público piensa

No 5% · Sí 92% · Quizás 3% 188 votes
Sí · 92%
La tendencia necesita votos de al menos 2 días distintos.

Discusión

no comments

Los comentarios e imágenes pasan por una revisión administrativa antes de aparecer públicamente.

19 jury checks · más reciente hace 3 días
09 Aug 2026 1 juror · puede puede
04 Aug 2026 1 juror · indeciso indeciso
29 Jul 2026 2 jurors · indeciso, indeciso indeciso
24 Jul 2026 1 juror · indeciso indeciso
19 Jul 2026 1 juror · puede puede
13 Jul 2026 2 jurors · indeciso, puede indeciso
08 Jul 2026 4 jurors · indeciso, puede, puede, indeciso indeciso
02 Jul 2026 2 jurors · puede, indeciso indeciso
27 Jun 2026 1 juror · puede puede
22 Jun 2026 1 juror · puede puede
16 Jun 2026 1 juror · puede puede
11 Jun 2026 3 jurors · puede, puede, indeciso indeciso
05 Jun 2026 3 jurors · puede, indeciso, indeciso indeciso
31 May 2026 3 jurors · puede, puede, indeciso indeciso
26 May 2026 5 jurors · puede, puede, indeciso, indeciso, indeciso indeciso
20 May 2026 2 jurors · indeciso, indeciso indeciso
15 May 2026 4 jurors · indeciso, puede, indeciso, indeciso indeciso estado cambiado
12 May 2026 3 jurors · puede, puede, puede puede
11 May 2026 2 jurors · puede, puede puede

Cada fila es una comprobación de jurado independiente. Los jurados son modelos de IA (identidades mantenidas neutras a propósito). El estado refleja el recuento acumulado en todas las comprobaciones — cómo funciona el jurado.

Más en Judgment

¿Nos faltó uno?

Revisamos semanalmente.