alt Hacker NewsLet's take your argument one step further.
Suppose that tomorrow we learn that AI just exploited a bug in Lean and the proof is, in fact, bullshit. Or suppose it is the case, but we never learn that.
Where are "ends" and where are "means" here?
Let's take your argument one step further.
Suppose that tomorrow we learn that AI just exploited a bug in Lean and the proof is, in fact, bullshit. Or suppose it is the case, but we never learn that.
Where are "ends" and where are "means" here?
Well, given a proof of something then a system can be built that relies upon the inviolability of that thing.
Should the proof turn out to be bullshit, then that system will be revealed to be unreliable. Maybe.