92просмотров
1.1%от подписчиков
30 марта 2026 г.
📷 ФотоScore: 101
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.” 🄳🄾🄾🄼🄿🤖🅂🅃🄸🄽🄶