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

1 comments

• eventhelix 10 hours ago ago

  Quick question: Did AI prove the theorem in Lean 4?