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

2 pointsposted 10 hours ago
by mindcrime
(youtube.com)

1 Comments

eventhelix

10 hours ago

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