Comment Comment by torginus So is there a chance that some of these AI-discovered proofs are actually Lean exploits? parent torginus 1 month ago
