logoalt Hacker News

sanxiyn • yesterday at 11:58 AM • 2 replies • view on HN

Yes: https://x.com/ElliotGlazer/status/2108026240582246600


Replies

viraptor • yesterday at 12:03 PM

So someone ran a different LLM to find an issue they'd find anyway during formalisation? That's not the same as relying on thriving community.

➕ show 3 replies
afavour • yesterday at 12:03 PM

That’s not proof though is it? If the original LLM output is fallible surely the LLM review of that output is also very much fallible?

➕ show 2 replies