Summary

Earlier this month, I wrote a story about how OpenAI had inadvertently produced two versions of its proof of the Navier-Stokes problem. You can read the details here , but one thing that has stuck with me is that some non-mathematically minded people I spoke to about the story struggled with the idea that two different proofs of the same problem could both be correct. It got me thinking about how and why mathematicians prove things multiple times – and what happens when it goes wrong.

AI summaries can be wrong sometimes—always verify important details using the source article.