Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claim

Your call?🐂 Bullish🐻 Bearish

AI's role in mathematics may shift human focus from verifying proofs to interpreting and understanding their implications and insights.