I don’t think I agree, but this is an interesting take. Basically math is about the process of the solution, and if AI gives solutions, there’s nothing left to motivate mathematicians to discover new intermediate proofs #ai