Finding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.
Legendary Don Knuth has now used AI to fully solve his | Tech Twitter
Press Space to continue
Legendary Don Knuth has now used AI to fully solve his Hamiltonian decomposition problem for odd and even cases.
Opus 4.6 / 5.4 Pro solved the even case, wrote a proof in Lean and a “apparently flawless 14 page paper”
Knuth: “We are living in very interesting times indeed.”
