3 ms·
Most likely they wrote the proof in Lean and had it verified by a computer
by odo1242 3mo ago
Most likely they wrote the proof in Lean and had it verified by a computer
- amazingamazing 3mo agoYou believe this based off what?
- CamperBob2 3mo agoBased on these people not being idiots or charlatans? Why wouldn't they verify it, knowing that any shenanigans would certainly come to light?
- Jweb_Guru 3mo agoFrontier labs have had multiple major announcements in the past about supposedly novel LLM generated theorems that turned out to be vastly overstating what actually happened. That's part of why they were so (appropriately) cautious with the unit distance proof.
- hnisfulomrons 3mo ago[dead]
- YeGoblynQueenne 3mo agoThis is spot on. And yet, when I try to publish my papers on P = NP with the proof reducing to "trust me bro, I checked this out carefully" I get shot down by irrate reviewers who demand to see my work. Why can't those people just believe what I say? Maybe if I was an AI?
- odo1242 3mo agoThis has been the standard in the world of "AI-produces-math-proofs" for a while
- charcircuit 3mo agoThe prompt does not mention Lean.