Kan AI løse kandidatniveau-matematikproblemer inden for mange områder? — Status tjekket den 10. oktober 2023 ?
Afgiv din stemme — læs så hvad vores redaktør og AI-modellerne fandt.
Ud over grundlæggende universitetsmatematik inden for kombinatorik, abstrakt algebra og reel analyse. Ikke al matematik, men en stor del af den.
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.
Foreslå et tag
Mangler et begreb i dette emne? Foreslå det, admin gennemgår.
Status senest tjekket June 27, 2026.
Galleri
Kan AI løse kandidatniveau-matematikproblemer inden for mange områder? — Status tjekket den 10. oktober 2023
Juryen fandt et klart bekræftende svar.
Dommeren fandt, at de førende systemer i dag allerede navigerer med tillid i matematik på kandidatniveau, idet de løser problemer på tværs af domæner, når de er udstyret med de rette værktøjer og træningsdata. Selvom der stadig er huller i ren, ny konjektur, var konsensusen klar: barren er ikke blot nået, den er blevet overgået med flere længder. Der var ingen uenighed, blot beundring for, hvor langt feltet er kommet. Kendelse: "Kridtstøvet hænger endnu i luften – AI har allerede indskrevet beviset."
The jury found that today's leading systems already navigate graduate-level mathematics with confidence, solving problems across domains when equipped with the right tools and training data. While gaps remain in pure, novel conjecture, the consensus was clear: the bar is not just met, it's been cleared by several lengths. There was no quarrel, only admiration for how far the field has advanced. Ruling: "The chalk dust still lingers—AI has already inscribed the proof.
But the data is real.
The Case File
Across 11 sessions, 28 jurors have heard this case. Combined tally: 16 YES · 12 ALMOST · 0 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 1 — 0 — 0, the panel returns a verdict of JA, with verdict confidence of 98%. The court so orders.
"Graduate-level math problems are routinely solved by advanced AI systems like AlphaGeometry and DeepMind's math models."
Individuelle nævningers udtalelser vises på originalengelsk for at bevare bevismæssig præcision.
Hvad publikum mener
Nej 5% · Ja 92% · Måske 3% 188 votesDiskussion
no comments⚖ 11 jury checks · seneste for 1 dag siden
Hver række er et separat jurytjek. Nævninger er AI-modeller (identiteter holdt neutrale med vilje). Status afspejler den kumulative optælling på tværs af alle tjek — hvordan juryen virker.
Flere i Judgment
Kan AI slå verdens bedste spillere i heads-up no-limit poker ?
Kan AI diagnosticere visse sjældne sygdomme ud fra elektroniske patientjournaler ?
Kan AI afgøre, hvilke menneskelige træk der fortjener bevarelse, når biologisk evolution stagnerer ?