Comment by busssard

after having seen that Lean has been exploited i dont manage to believe AI generated proofs anymore.