素数の隣接するペアの間隔に関するLean 4による形式化と数値的証明のリポジトリが公開

素数の隣接するペアの間隔に関するLean 4による形式化と数値的証明のリポジトリが公開 https://bunrin.work/news/ja/news/gpt-6-astra-infinitely-pairs-of-consecutive-primes-69886 素数の間隔に関する数学的な境界値について、Lean 4を用いた形式化とPythonによる数値的な証明を含むリポジトリが公開されました。