Human mathematicians are being outcounterexampledxenaproject.wordpress.com 7 pointsvitplister1 month ago1 commentSaveHideCopy link On HNComments−gus_massa1moMathematician 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.
Comments
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.