7/20/2026 at 6:44:15 PM
Mathematician here. AI is very good. Better than me now. My guess is that most of the times it's easy to show that a counterexample is a counterexample, instead a long proof can be misclassified as slop.by gus_massa
7/20/2026 at 10:48:17 AM
Human mathematicians are being outcounterexampled
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/by vitplister