logoalt Hacker News

CamperBob2yesterday at 7:42 PM2 repliesview on HN

Based on these people not being idiots or charlatans?

Why wouldn't they verify it, knowing that any shenanigans would certainly come to light?


Replies

Jweb_Guruyesterday at 7:48 PM

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.

hnisfulomronsyesterday at 7:51 PM

[dead]