shreyan

Ónen i-estel edain, ú-chebin estel anim.

heartpunk (sophie!!)
@heartpunk.bsky.social
1d
Bluesky
YOOOOOOO fucking KNUTH dropped a lil note on a problem of his being solved w/claude y'alllllll
Claude’s Cycles Don Knuth, Stanford Computer Science Department (28 February 2026; revised 02 March 2026) Shock! Shock! I learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6 — Anthropic’s hybrid reasoning model that had been released three weeks earlier! It seems that I’ll have to revise my opinions about “generative AI” one of these days. What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving. I’ll try to tell the story briefly in this note.
3 40 167
My latest bluesky post
made with blento