FRESH

Hacker News

Human mathematicians are being outcounterexampled

7 points by vitplister

by gus_massa

0 subcomment

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.