>>568
>数値実験みたいのんは見積もりであって証明に代わり得ない

正しいと思ってた証明が実は間違っていた、なんて可能性は考えないとか、もーね