Hacker News new | ask | show | jobs
by amazingamazing 18 days ago
You believe this based off what?
2 comments

Based on these people not being idiots or charlatans?

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

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.
This 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?

This has been the standard in the world of "AI-produces-math-proofs" for a while