34 132人目の素数さん sage 2021/02/26(金) 17:51:34.92 ID:3G6h7EBf
去年の3月6日ぐらいから、ほとんど正しい証明になり、今の版はだいたい去年の
10月20日ぐらいから変わっていない。n倍積完全数の証明が承認されないという
のはおかしい。