あと今人間が保証してるとこを機械的に証明しようという試みはあって
そういうのがうまくいけばゼロだと言える日がくるかもね
（そうはいっても証明手順に抜けがあるかもとかあるので真にゼロとはいえないかもだけど）