The short version
A mathematician's commentary on AI-assisted work toward Navier–Stokes proofs.
From the HackerLinks archive
Terence Tao’s Navier–Stokes commentary
A mathematician's commentary on AI-assisted work toward Navier–Stokes proofs.
At a glance:
First seen:2026-09-09
Last seen:2026-09-09
Times seen:1
Website:mathstodon.xyz
Why it caught our attention
A commenter directly recommended Tao's perspective on the disputed proof effort.
Where it surfaced on Hacker News
2026-09-09
“I recommend Terrence Tao's commentary on such a proof : https://mathstodon.xyz/@tao/117219101339291693”
goldenarm · recommendation
Direct HN comment
Navier-Stokes – Tristan Buckmaster [pdf]