0367132人目の素数さん垢版 | 大砲2018/04/23(月) 17:57:23.03ID:O/mO6QmO 本当に自分が正しいと信じてるなら多少面倒でもCoqなりMizarなりIsabelleなり複数の形式的証明に書き直してそれで検証させればいい。 それを通れば誰も文句は言わんでしょ。 実際レフェリーに間違いはみつからないが保証もできないからとさじを投げられたケプラー予想の証明も10年かけて形式的証明に書き直して検証されているし、その結果は受け入れられていると言っていいと思う。 逆にアクセプトされた証明が10年過ぎて間違っていたと検証されたりもしている。