My argument is that LLM generation and a correlated Lean verification are not sufficient conditions....

senorcrab • yesterday at 8:57 AM • 1 reply • view on HN

My argument is that LLM generation and a correlated Lean verification are not sufficient conditions. Both are falliable.

johncolanduoni • yesterday at 9:14 PM

So is peer review. False proofs have been published before and will again. Does that mean journals are publishing slop?

alt Hacker News