XPost: sci.physics, comp.theory   
   From: sylvia@email.invalid   
      
   On 30-Nov-25 8:38 pm, Mild Shock wrote:   
   > Hi,   
      
   > They claim not having used much AI. But could for   
   > example AlphaEvolve do it somehow nevertheless, more or   
   > less autonomously, and find the sixth busy beaver?   
      
   I think the most that AI could do would be to make a reasonable guess   
   about what the next Busy Beaver is. Getting a proof is something else.   
      
   Sylvia.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)