>>90
＞「もし選択公理が間違っていたなら」

人工知能としては、『現在確認されている範囲』だけでいい。

史上最大の素数を発見。50番目となるメルセンヌ素数は、原稿用紙5万8000枚分
https://www.huffingtonpost.jp/2018/01/05/gimps-m77232917_a_23324596/

現在のところ確認されている『素数』はここまで。