4 points | by fs123 6 hours ago ago
2 comments
Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem was completely solved using LLMs, including proofs of correctness. See the Postpostscript section at the bottom of the note.
Also note the 'Over and out' section.
Pre-update discussion:
https://news.ycombinator.com/item?id=47230710
Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem was completely solved using LLMs, including proofs of correctness. See the Postpostscript section at the bottom of the note.
Also note the 'Over and out' section.
Pre-update discussion:
https://news.ycombinator.com/item?id=47230710