Researching Systems Theory Musicology@Keio University, ISOC-JP Chair, ex-Distinguished Systems Engineer and CTO@Cisco Systems, Cellist, Curious Thinker
Prof. Donald Knuth opened his new paper with "Shock! Shock!"
Claude Opus 4.6 had just solved an open problem he'd been working on for weeks — a graph decomposition conjecture from The Art of Computer Programming.
He named the paper "Claude's Cycles."
31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days."
The man who wrote the bible of computer science just said that. In a paper named after an AI.
Paper: cs.stanford.edu/~knuth/paper…
SRv6 MUPの解説論文を電子情報通信学会様に掲載していただきました。端末、無線、交換機、伝送網と移動体通信に関わる全領域の専門家が集まった最高のチームの一員でいられたことを誇り思います。
search.ieice.org/bin/summary… IEICE Trans - 次世代モバイルネットワークを実現するSRv6 Mobile User-Plane