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 August 15, 2026.
Galleri
Kan AI løse kandidatniveau-matematikproblemer inden for mange områder? — Status tjekket den 10. oktober 2023
Snævre demoer findes — men panelet var ikke enigt.
Dommeren fandt, at selvom dagens AI kan tackle matematik på kandidatniveau med imponerende dygtighed, er bænken endnu ikke overbevist om, at alle domæner og kanttilfælde er fuldt ud mestret. En snæver majoritet begrundede, at gennembrud som Minerva og formelle verificeringsværktøjer beviser evnen, men huller i dækning og lejlighedsvis skrøbelighed berettiger en forsigtig "Næsten." Bænken erklærer nu: AI har fortjent sin kridt, men endnu ikke sin ansættelse.
The jury found that while today’s AI can tackle graduate-level mathematics with impressive skill, the bench remains unconvinced that every domain and edge case has been fully mastered. A narrow majority reasoned that breakthroughs like Minerva and formal verifiers prove capability, yet gaps in coverage and occasional brittleness warrant a cautious “Almost.” The bench now declares: AI has earned its chalk, but not yet tenure.
But the data is real.
The Case File
Across 20 sessions, 44 jurors have heard this case. Combined tally: 23 YES · 21 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 — 1 — 0, the panel returns a verdict of NæSTEN, with verdict confidence of 85%. The court so orders. Verdict downgraded from prior session.
"Advanced math solvers exist but coverage is limited"
"Models like AlphaFold (mathematical biology), Minerva, and recent formal math solvers demonstrate strong graduate-level math problem-solving across domains."
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⚖ 20 jury checks · seneste for 4 dage 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 udvikle en personlig mindfulnessplan, der tager højde for en persons mentale sundhed og velvære-mål ?
Kan AI indgive en klage for mig for at bekæmpe min parkeringsbøde ?
Kan AI beslutte en universel guide til godt og ondt ved at blande alle verdens data sammen ?