形式化

📡 Signal｜Claudeが証明したのはリーマン予想ではない——「零点の67.2%」という下限と、手元で検証できるLeanのコード

未公開の研究版Claudeが、ゼータ関数の零点のうち臨界線上にあると証明できる割合の下限を41.6%から67.2%へ引き上げた。リーマン予想は解けていない。注目したいのは記録より、その証明がLeanで形式化され、誰でも手元で通せる形で公開されたことのほうだ。