How will a blank-slate AI first prove the infinitude of primes? | Manifold

How will a blank-slate AI first prove the infinitude of primes?

Mini

6

Ṁ36

2029

1D

1W

1M

ALL

47%

Euclid's Proof

10%

Erdős's Proof

8%

Saidak's proof by construction

8%

Furstenburg's Topological Proof

7%

Euler's Proof

7%

Proof via inclusion–exclusion

7%

Proof using de Polignac's formula

7%

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

#Ancient Markets

Get

1,000

and

1.00

Sort by:

I expect something that human mathematicians would consider horribly inelegant that makes sense to the alien machine.

How will a blank-slate AI first prove the infinitude of primes?, 8k, beautiful, illustration, trending on art station, picture of the day, epic composition

Related questions

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

Will a blank-slate AI prove the infinitude of primes by 2025-11-03?

Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?

Will an AI solve any important mathematical conjecture before January 1st, 2030?

Are there infinitely many balanced primes?

OpenAI discovers the first proof of the collatz conjecture before 2026

Will Artificial Intelligence solve a Millennium Prize Problem before 2030?

Will an AI System Solve One of the Remaining Millennium Prize Problems by June 2025?

Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?

Are there infinitely many Fermat primes?

Related questions

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

OpenAI discovers the first proof of the collatz conjecture before 2026

Will a blank-slate AI prove the infinitude of primes by 2025-11-03?

Will Artificial Intelligence solve a Millennium Prize Problem before 2030?

Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?

Will an AI System Solve One of the Remaining Millennium Prize Problems by June 2025?

Will an AI solve any important mathematical conjecture before January 1st, 2030?

Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?

Are there infinitely many balanced primes?

Are there infinitely many Fermat primes?

Terms & Conditions•Privacy Policy•Sweepstakes Rules