Ill-Posed

blog — Terence Tao — 24 Sep 2026

Headlines and inside stories: understanding and trust in AI for mathematics, science, and engineering

#ai-mathematics #trust-verification #machine-learning-proofs

Read the source →

[This is a guest post by Tapio Schneider. This blog post was initially written in a different file format and converted using AI. — T.] [This will be cross-posted on the CliMA blog.] The apparent proof of finite-time blow-up of the forced Navier-Stokes equation, announced by OpenAI on September 8, has brought into focus a […]

0 comments