
The Riemann Hypothesis (https://en.m.wikipedia.org/wiki/Riemann_hypothesis) has yet to be proven and is often considered one of the most challenging currently unsolved math problems.
This market only refers to whether an AI will “write” the proof by 2026, not necessarily create the proof itself. Therefore, if a human proves the Riemann Hypothesis before then, and an AI is able to write out that proof when asked, this market would still resolve to Yes.
This refers to any AI model, public or private, that has successfully written the proof, regardless of whether it is a generally available model.
The validity of the proof will be determined by whether or not the Clay Mathematics Institute has deemed it to be a successful solution to meet the requirements of the Millennium Prize Problem of proving the Riemann Hypothesis.