


AI explanations + visualization tightly integrated. Understand complex concepts intuitively, in minutes. Can't wait to ship
Vigneshwarar
1.1K posts

@Vignesh_warar
building something new few tools i built: https://t.co/FTdu3eBnB3 https://t.co/jWVtRrMXYl and 10+ dead ones



AI explanations + visualization tightly integrated. Understand complex concepts intuitively, in minutes. Can't wait to ship

What opinion will get you in this position?

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/papers/…

Terence Tao confirms: For the first time, an LLM (GPT-5.2 pro) has successfully solved an Erdos problem on its own. This makes me really excited for GPT-5.3 pro. Science is gaining momentum, and the breakthroughs are becoming more significant.



