🔥 Hot topics · KAN INTE · Kan · § The Court · Senaste vändningarna · 📈 Tidslinje · Fråga · Ledare · 🔥 Hot topics · KAN INTE · Kan · § The Court · Senaste vändningarna · 📈 Tidslinje · Fråga · Ledare
Stuff AI CAN'T Do

Kan AI upptäcka nya matematiska frågor och deras lösningar ?

Vad tycker du?

Hur kan artificiell intelligens bidra till att avslöja nya matematiska frågeställningar och deras lösningar? Detta utforskar om maskinintelligens kan hjälpa matematiker att identifiera nya förmodanden och vägleda bevis, även om den inte formulerar frågor på det traditionella mänskliga sättet.

Background

AI-system har visat förmågan att hjälpa till att upptäcka nya matematiska förmodanden och vägleda lösningar genom att identifiera mönster i stora datamängder, särskilt inom områden som knutteori och representationslära (Nature, 2021). Djupinlärningsmodeller har använts för att föreslå samband mellan geometriska och algebraiska invariant, vilket lett till att matematiker formulerat nya satser. Även om AI inte självständigt ställer frågor i den mänskliga matematiska traditionen, fungerar det som ett kraftfullt verktyg för hypotesgenerering och utforskning. Dessa samarbeten mellan matematiker och AI belyser en växande roll för maskininlärning i att främja matematisk forskning.

Status senast kontrollerad August 15, 2026.

📰

Galleri

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

Kan AI upptäcka nya matematiska frågor och deras lösningar?

★ The Court Finds ★
Reaffirmed
Nästan

Begränsade demonstrationer finns — men juryn var inte enig.

Ruling of the Bench

Juryn var överens om att AI kan inspirera till nya matematiska idéer och hantera smala bevis, men är ännu för inkonsekvent för att göra anspråk på den stora upptäckten av nya, universellt rigorösa frågor och bevis. Med två genomtänkta "nästan" och inga avvikande röster lutade domstolen åt försiktig optimism snarare än helhjärtat godkännande. Dom: AI kan viska ledtrådar till matematiker, men ännu inte ropa ut det slutgiltiga teoremet.

— Hon. E. Dijkstra-Patel, Presiding
Jury Tally
0Ja
2Nästan
0Nej
Verdict Confidence
83%
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 Nästan · 79%
Session II · May 2026 Nästan · 73%
Session III · May 2026 Nästan · 84%
Session IV · May 2026 Nästan · 75%
Session V · Jun 2026 Nästan · 75%
Session VI · Jun 2026 Nästan · 68%
Session VII · Jun 2026 Nästan · 83%
Session VIII · Jun 2026 Nästan · 80%
Session IX · Jun 2026 Nästan · 85%
Session X · Jul 2026 Nästan · 80%
Session XI · Jul 2026 Nästan · 85%
Session XII · Jul 2026 Nästan · 83%
Session XIII · Jul 2026 Ja · 90%
Session XIV · Jul 2026 Nästan · 80%
Session XV · Jul 2026 Nästan · 80%
Session XVI · Aug 2026 Nästan · 80%
Session XVII · Aug 2026 Nästan · 80%
Case № DB05 · Session XVIII
In the Court of AI Capability

The Case File

Docket № DB05 · Session XVIII · Vol. XVIII
I. Particulars of the Case
Question put to the courtKan AI upptäcka nya matematiska frågor och deras lösningar?
SessionXVIII (18 hearing)
Convened15 aug 2026
Previously ruledALMOST (May '26) → ALMOST (May '26) → ALMOST (May '26) → ALMOST (May '26) → ALMOST (Jun '26) → ALMOST (Jun '26) → ALMOST (Jun '26) → ALMOST (Jun '26) → ALMOST (Jun '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → YES (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Aug '26) → ALMOST (Aug '26) → ALMOST (Aug '26)
Presiding JudgeHon. E. Dijkstra-Patel
II. Cumulative Tally Across Sessions

Across 18 sessions, 37 jurors have heard this case. Combined tally: 2 YES · 34 ALMOST · 1 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 0 — 2 — 0, the panel returns a verdict of NäSTAN, with verdict confidence of 83%. The court so orders.

IV. Uttalanden från rätten
Jurymedlem I ALMOST

"AI can generate mathematical concepts"

Jurymedlem II ALMOST

"AI can generate novel conjectures and solve narrow mathematical problems, but lacks broad, reliable proof discovery"

Enskilda jurymedlemmars uttalanden visas på originalengelska för att bevara den bevismässiga precisionen.

E. Dijkstra-Patel
Presiding Judge
M. Lovelace
Clerk of the Court

Vad publiken tycker

Nej 13% · Ja 17% · Kanske 70% 23 votes
Nej · 13%
Ja · 17%
Kanske · 70%
38 days of activity

Diskussion

no comments

Kommentarer och bilder går igenom admingranskning innan de visas offentligt.

18 jury checks · senaste för 4 dagar sedan
15 Aug 2026 2 jurors · oavgjort, oavgjort oavgjort
10 Aug 2026 2 jurors · oavgjort, oavgjort oavgjort
04 Aug 2026 1 juror · oavgjort oavgjort
30 Jul 2026 1 juror · oavgjort oavgjort
24 Jul 2026 1 juror · oavgjort oavgjort
19 Jul 2026 1 juror · kan kan
13 Jul 2026 2 jurors · oavgjort, oavgjort oavgjort
08 Jul 2026 1 juror · oavgjort oavgjort
03 Jul 2026 3 jurors · oavgjort, oavgjort, oavgjort oavgjort
27 Jun 2026 1 juror · oavgjort oavgjort
22 Jun 2026 1 juror · oavgjort oavgjort
16 Jun 2026 2 jurors · oavgjort, oavgjort oavgjort
11 Jun 2026 2 jurors · oavgjort, oavgjort oavgjort
06 Jun 2026 3 jurors · oavgjort, oavgjort, oavgjort oavgjort
31 May 2026 4 jurors · oavgjort, oavgjort, oavgjort, oavgjort oavgjort
26 May 2026 4 jurors · kan inte, kan, oavgjort, oavgjort oavgjort
20 May 2026 2 jurors · oavgjort, oavgjort oavgjort
15 May 2026 4 jurors · oavgjort, oavgjort, oavgjort, oavgjort oavgjort

Varje rad är en separat jurykontroll. Jurymedlemmar är AI-modeller (identiteter avsiktligt neutrala). Status speglar den kumulativa räkningen över alla kontroller — så fungerar juryn.

Fler i technology

Har du en vi missat?

Lägg till ett påstående i atlasen. Vi granskar veckovis.