___によるリーマン予想のさらなる実質的な進展は？

この市場は、適格な数学的結果により、リーマン ゼータ関数の自明ではない零点の少なくとも 70% が臨界線上にあることが無条件に確立される場合、またはリーマン仮説の完全な証明または反証を含む、より強力な結果が指定日の東部時間午後 11 時 59 分までに確立される場合、「はい」に解決されます。それ以外の場合、このマーケットは「No」に決定されます。

この市場の目的上、「無条件に」とは、適格な結果がリーマン予想や、指定された閾値を維持するために必要なその他の証明されていない推測の仮定に依存しないことを意味します。

70% 以上の無条件下限を確立する結果が適格となります。より高いパーセンテージを確立した結果、関連するゼロの 100% が臨界線上にあることを証明したり、リーマン予想を完全に証明または反証したりする結果も資格となります。

追加の個々のゼロがクリティカル ライン上にあるという計算による検証は、チェックされたゼロの数に関係なく、それだけでは適格になりません。条件付きの結果、ヒューリスティックな引数、十分な検証を行わずに主張された証明、70% のしきい値を満たさない部分的な結果、または 70% 未満にとどまる改善は資格がありません。

適格な結果は、市場締め切りまでに査読を完了したり、学術雑誌に正式に掲載されたりする必要はありません。公的に発表された論文、プレプリント、技術レポート、またはその他の公的に入手可能な数学的成果は、その結果が付随する証明によって十分に実証されており、解析的数論の著名な専門家またはより広範な数学コミュニティから信頼できる独立した検証または承認を受けている場合に資格を与えられます。たとえば、2026 年 8 月 10 日に発表された Anthropic の結果は、臨界線上のリーマン ゼータ零点の割合について約 67.25% という改良された無条件下限を確立しており、必要な 70% のしきい値を満たしていれば、これらの基準に基づいて認定されます。

この市場の解決源は、信頼できるレポートのコンセンサスとなります。