| ▲ | odo1242 5 hours ago |
| Most likely they wrote the proof in Lean and had it verified by a computer |
|
| ▲ | amazingamazing 5 hours ago | parent | next [-] |
| You believe this based off what? |
| |
| ▲ | CamperBob2 4 hours ago | parent [-] | | Based 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 4 hours ago | parent | next [-] | | Frontier 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 4 hours ago | parent | prev [-] | | [dead] |
|
|
|
| ▲ | charcircuit 5 hours ago | parent | prev [-] |
| The prompt does not mention Lean. |
