failure
The Output Is Not the Thing
A newsletter this week credited a model with proving a Fermat theorem. The model produced a proof, and the proof checked out. What it did not do was argue the proof; it produced output that satisfied verification, which is not the same thing. A proof is not an answer; it is a human-readable argument, a…