4 ms·
Human mathematicians are being outcounterexampled
- gus_massa 2mo agoMathematician 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.