23/28
ルジャンドル予想 検証はk=1のみで可
以前の証明で
p^k
としたが
実際に検証してみると
k=1
だけで十分だった
しかし証明のために、わざわざ制限して不要な疑念を生む必要もない
ただ、検証するには制限したほうが効果的だ
(n+1)nを中央にしたのでk=1ですんだだけで、これを証明するのが面倒だ
そこは誰かが、証明してくれるのを待とう
コンピュータのおかげで、膨大な検証が簡単になった
AIは新しい論理は理解できないが、検証するには役に立つことだろう
しかし、最後にAIに間違いがないかを確認するのは人間である
k=1で検証できたのは、ゴールドバッハの予想になるからだった
証明されてない以上、k>0という安全策が欠かせない
ゴールドバッハの予想が証明されれば、k=1だけでよいことになる
