Comment by NooneAtAll3
Comment by NooneAtAll3 3 days ago
that one was vibe-coded
Ai was given step-by-step already found proof, and asked "please rewrite in Lean"
---
here Ai did the proof itself
Comment by NooneAtAll3 3 days ago
that one was vibe-coded
Ai was given step-by-step already found proof, and asked "please rewrite in Lean"
---
here Ai did the proof itself