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 Crypto Briefing.