logoalt Hacker News

stavrosyesterday at 9:47 PM2 repliesview on HN

Of course it believes the proof is sound, it wrote it. If you want to check an LLM's output, you should use a different LLM.


Replies

noname120yesterday at 9:51 PM

Your comment is not substantiated at all.

show 2 replies
hoppptoday at 7:46 AM

Use a human maybe.

Only people can really verify clankers.

Can't trust anything LLM since it will confidently lie too.

It can't take responsibility for verification so it can't verify.