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 9, 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 beviserne overvældende: dagens AI knuser ikke blot symboler – den knækker beviser, der slår de fleste menneskelige ph.d.-er ud, og danser gennem domæner fra topologi til talteori uden at svede. Ingen dissens skæmmede dommen; regnskabet stod klart 1-0. Maskinerne har bestået med udmærkelse, én ligning ad gangen.
The jury found the evidence overwhelming: today’s AI does not just crunch symbols—it cracks open proofs that stump most human PhDs, dancing through domains from topology to number theory without breaking a sweat. No dissent clouded the verdict; the ledger read cleanly 1-0. One equation at a time, the machines have graduated magna cum laude.
But the data is real.
The Case File
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.
By a vote of 1 — 0 — 0, the panel returns a verdict of JA, with verdict confidence of 95%. The court so orders. Verdict upgraded from prior session.
"Leading models like o1/o3-series and DeepMind’s AlphaProof solve Olympiad-level math problems reliably."
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⚖ 19 jury checks · seneste for 3 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 bestå en amerikansk kørekortteoretisk prøve i alle 50 delstater ?
Kan AI være den eneste voksne i lokalet ?
Kan AI skabe en virtual reality-oplevelse, der realistisk simulerer fornemmelsen af lugt og smag, så brugere kan udforske og interagere med virtuelle miljøer på en mere immersiv måde ?