↑
Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun)
Posted by
mindcrime
|
2 hours ago |
1 comments
eventhelix an hour ago
Quick question: Did AI prove the theorem in Lean 4?
