alt Hacker NewsMost likely they wrote the proof in Lean and had it verified by a computer
Replies
charcircuit • yesterday at 7:36 PM
The prompt does not mention Lean.
Most likely they wrote the proof in Lean and had it verified by a computer
The prompt does not mention Lean.
You believe this based off what?