This resolves YES if an AI is able to prove that there are infinitely many prime numbers by the close date.

The AI has to operate without human-generated training data. This is somewhat subjective, but is intended in the spirit of the difference between AlphaGo and AlphaZero - the AI can be taught the rules of the theorem-proving game, but has to come up with strategies on its own. In particular, it should not be considered acceptable for inputs to the AI algorithm at any stage to include datasets of previously-formalized theorems (many such datasets include this theorem anyway). It will be acceptable, however, to provide the AI with formal definitions of the natural numbers, primality, and the statement it's trying to prove (rather than having the AI creatively generate the theorem itself, for example).

Many theorem provers, rather than introducing the concept of sets and infinity, formalize this theorem as "for any natural number N, there exists a prime p greater than N". This is acceptable for the purpose of this market.

Nov 9, 5:54pm: Will an AI prove the infinitude of primes by 2025-11-03? → Will a blank-slate AI prove the infinitude of primes by 2025-11-03?