[tialaramex]

So your nitpick is just that you'd describe the mistake differently?

Ok. The consequences are exactly the same. Once you express what the humans actually thought they were getting the proof engine says "No".

[pritambaral]

> Once you express what the humans actually thought ...

>> I'm not arguing that mathematical proofs are infallible to modeling inaccuracies, or that ...