💬 Discussion: Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claim
AI's role in mathematics may shift human focus from verifying proofs to interpreting and understanding their implications and insights. The post Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claim appeared first on…