Post

nate
@loglog.wtf

there should be a complexity class for problems where LLM proofs are harder to verify than solve directly

1 repost6 likes