2年ぶりに更新って、こんなのはまさにAIの独擅場で、そのためのソフト、つまり、或る数をインプットすれば、それを即座に素因数分解するソフト（それができなければ素数だとなる。）を作ればいいだけではないか。新しく発見された素数を自動的に次々に素因数分解の条件としてフィードバックしていけばいいだけだ。問題は、素数が有限か無限かであり、無限であるならば、この作業自体が無意味だ、となる。はたして素数は有限だという証明は為されているのか。


（以下引用）