Yes: https://x.com/ElliotGlazer/status/2108026240582246600
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.
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?
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.