XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 3/3/2026 11:59 PM, Jeff Barnett wrote:   
    > https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf   
      
   Claude’s Cycles   
   Don Knuth, Stanford Computer Science Department   
   (28 February 2026; revised 04 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.   
      
   https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf   
   https://www.youtube.com/watch?v=nR9Oe5YEASM   
      
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable for the entire body of knowledge.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)