Crypto Briefing·Diego Almada Lopez·3h agoBullish
Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claim
Read original on Crypto BriefingAI'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…
Discussion · 0
?
💬 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…
Reply with your take — replies appear on this article and in the main feed. Open thread