Mathematicians happily help each other but brutally reject AI asking for proof verification

A viral meme by developer ctjlewis contrasts mathematicians eagerly helping each other with million-line Lean proofs while brutally rejecting an AI that merely asks for verification of its proof, mocking the math community's hostility toward AI-generated proofs.

2026-10-04 ~ 2026-10-04 · 3 related posts

• When a mathematician asks for help with a million-line Lean proof — ctjlewis · 2026-10-04
• AI politely asks mathematicians to verify its proof, gets told to leave — ctjlewis · 2026-10-04
• "Just a Little Computer Who Computed a Proof": Mathematicians' Blunt Rejection of AI Goes Viral — ctjlewis · 2026-10-04