[ks2048]

Another top story on HN right now is how LLMs are finding errors in research papers.

Maybe an LLM winning a Knuth bug bounty is a milestone on the path towards “AGI”?

[vacuity]

AGI will be achieved when Knuth + LLMs work to finish TAOCP with no errors.