OpenAI's Navier-Stokes claim splits Harvard mathematicians over AI proofs

After OpenAI claimed its AI produced a method for the decades-old Navier-Stokes problem, Harvard mathematicians split over whether a proof no human can understand counts as a real proof, debating whether verification alone suffices or proofs must also convey understanding.

2026-10-22 ~ 2026-10-22 · 2 related posts

• Harvard mathematicians split on whether AI proofs need human understanding after OpenAI's Navier-Stokes claim — rohanpaul_ai · 2026-10-22

1 near-duplicate retellings: rohanpaul_ai