1 comment

[ 0.23 ms ] story [ 7.0 ms ] thread
Quick question: Did AI prove the theorem in Lean 4?