Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun)

 (youtube.com)

2 points | by mindcrime 3 hours ago

1 comments

  • eventhelix 2 hours ago
    Quick question: Did AI prove the theorem in Lean 4?