Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun)(www.youtube.com)
2 pointsby mindcrime2 hours ago1 comment
  • eventhelixan hour ago
    Quick question: Did AI prove the theorem in Lean 4?