EDIT: fixing resolution criteria directionality about amateurs

The Millennium Prize Problems are seven famous open problems in math, all listed together in 2000. One was solved; as of 2024, six remain. Will the next one be solved by an amateur? This market resolves YES if the very next problem to be solved is solved by an amateur, and NO otherwise. The close date will be extended as needed.

For the purpose of this market:

• A problem is considered to be "solved" if

  • the Clay Mathematics Foundation or similar recognizes it as solved

  • a proof is published, and there is a general consensus within the mathematical community that such a proof is a solution to one (or more, if applicable!) of the Millennium Prize Problems

  • or a proof of the problem is published, which automatically validates as correct in a standard interactive theorem prover (eg Lean, Coq, Metamath, etc)

• A person is considered to NOT be "mathematical amateur" if all of these apply, and IS considered to be an amateur otherwise.

  • They are a natural person (not an AI).

  • They satisfy any of the following criteria:

    • Are a professor at some college or university.

    • Have a PhD in mathematics.

    • Have a track record of proving at least 2 new theorems that have already been accepted by the mathematical community.