How will a blank-slate AI first prove the infinitude of primes?
7
460Ṁ462029
42%
Euclid's Proof
40%
Saidak's proof by construction
5%
Erdős's Proof
4%
Furstenburg's Topological Proof
2%
Euler's Proof
2%
Proof via inclusion–exclusion
2%
Proof using de Polignac's formula
2%
The incompressibility method / Information-theoretic
See this market for a description of the kind of AI I am talking about.
There are several proofs of Euclid's theorem - the fact that there are infinitely many primes. This question resolves to whichever proof described on the Wikipedia page (at time of market creation) best captures the approach of the AI when it eventually does this.
Close date updated to 2029-12-31 5:59 pm
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000
People are also trading
Related questions
In what year will artificial intelligence solve a Millennium Prize Problem?
2034
Will Artificial Intelligence solve a Millennium
Prize Problem before 2035?
49% chance
Will Artificial Intelligence solve a Millennium Prize Problem before 2030?
31% chance
Will a blank-slate AI prove the infinitude of primes by 2025-11-03?
25% chance
How many years will pass from AI aceing Putnam to a Millenium Prize problem getting solved?
Will an AI System Solve One of the Remaining Millennium Prize Problems by June 2025?
1% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
71% chance
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
2% chance
Are there infinitely many balanced primes?
95% chance
Are there infinitely many Fermat primes?
4% chance