リーマン予想は解けた？最新の証明動向と100万ドル懸賞金の真相

リーマン予想は解けた？最新の証明動向と100万ドル懸賞金の真相の真相や最新動向に迫る! わかりやすい言葉で紐解きます。

公式な証明には至っていないものの、数学者たちの研究は一歩ずつ外堀を埋めるように前進しています。

現在のアプローチは主に3つの潮流に分かれています。第1は、スーパーコンピュータを用いて「零点が本当に1/2の直線上に並んでいるか」を力ずくで計算する数値検証です。すでに10兆個を超える膨大な数の零点が確認されていますが、そのすべてが例外なく一直線上に並んでいます。ただし、無限に続く零点を有限回の計算で確かめても数学的な証明にはなりません。

第2は、解析的整数論による「臨界線上に存在する零点の割合」を押し上げるアプローチです。これまでの研究により、零点全体の「少なくとも4割以上」が確実に一直線上にあることが証明されており、この境界値を100%に近づける試みが続けられています。

そして第3の潮流が、近年のAI（人工知能）や自動定理証明支援システム（Leanなど）を活用したアプローチです。複雑を極める長大な数式展開において、人間の盲点となる論理の欠陥をAIが検証したり、新たな補助定理の候補を探索したりする共同研究が急速に広がりを見せています。