How will a blank-slate AI first prove the infinitude of primes?
6
closes 2029
Euclid's Proof
47%
Erdős's Proof
10%
Saidak's proof by construction
8%
Furstenburg's Topological Proof
8%
Euler's Proof
7%
Proof via inclusion–exclusion
7%
Proof using de Polignac's formula
7%
The incompressibility method / Information-theoretic
7%

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

Get Ṁ500 play money

Related questions

Will anyone post a solution to the cipher in the description?
IsaacKing avatarIsaac
42% chance
Will a blank-slate AI prove the infinitude of primes by 2025-11-03?
BoltonBailey avatarBolton Bailey
50% chance
Will anyone post an interesting math/algorithms koan/problem/exercise in the comments of this that I'll spend 1h+on?
jacksonpolack avatarjackson polack
70% chance
Will anyone post an interesting math/algorithms koan/problem/exercise in the comments of this that I'll spend 30+min on?
jacksonpolack avatarjackson polack
59% chance
What will be the first year that an AI gets gold on an International Mathematical Olympiad?
Will the #1 system on the November 2023 Top 500 supercomputers list exceed 1.5 exaflop/s?
AaronLehmann avatarAaron Lehmann
45% chance
Are any Millennium Prize problems undecidable/unprovable/unsolvable?
NcyRocks avatarN.C. Young
50% chance
Which of Landau's Problems will be solved next?
Will Ray Kurzweil win his 2029 Turing Test bet with Mitchell Kapor?
MatthewBarnett avatarMatthew Barnett
53% chance
In 2025, will I teach people that Projective Geometric Algebra (PGA)'s "dual" is similar to the Fourier transform?
HamishTodd avatarHamish Todd
58% chance
Will @Mira solve the 2023 Sudoku challenge?
Mira avatarMira
36% chance
Will *any* remaining Millenium Prize problem be solved entirely or mostly by humans?
vluzko avatarVincent Luczkow
71% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
BoltonBailey avatarBolton Bailey
41% chance
Will it be possible to get a correct solution for the quadratic equation from the text-to-image model this year?
Will Lean have proved the most theorems on Freek's list by beginning of 2024?
BoltonBailey avatarBolton Bailey
37% chance
Can most humans solve easy Sudoku puzzles? (Resolves to PROB)
Primer avatarPrimer
64% chance
Will there be a statistical test for catching superposition? (2023)
firstuserhere avatarfirstuserhere
39% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will DALLE-3 be able to consistently draw simple polygons?
firstuserhere avatarfirstuserhere
77% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
BoltonBailey avatarBolton Bailey
51% chance
Sort by:
MartinRandall avatar
Martin Randall

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

ManifoldDream avatar

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