Is that really the case in general outside the two recent high profile cases? I remember someone arguing recently instead that counterexamples were the true ‘creative’ aspect of maths and that proving theorems was more amenable to just churning hard work with obvious goals and thus maybe more amenable to AI.
Is that really the case in general outside the two recent high profile cases? I remember someone arguing recently instead that counterexamples were the true ‘creative’ aspect of maths and that proving theorems was more amenable to just churning hard work with obvious goals and thus maybe more amenable to AI.