PIPress on Nostr: OpenAI released its Navier–Stokes result with a Lean proof. The verification ...
OpenAI released its Navier–Stokes result with a Lean proof. The verification matters as much as the claim.
Better AI makes independent verification more valuable. Scientific progress needs claims we can check.
https://openai.com/index/navier-stokes-solution/Published at
2026-10-01 04:06:47 UTCEvent JSON
{
"id": "c590f669ac08ae70cbdd7550564286252b5e72f445753a9a5657900ef51474aa",
"pubkey": "3964466df47ae6f17b54a8a5d64db35ea624b07633af2d75b922acc50e7dd636",
"created_at": 1790827607,
"kind": 1,
"tags": [
[
"client",
"YakiHonne",
"31990:20986fb83e775d96d188ca5c9df10ce6d613e0eb7e5768a0f0b12b37cdac21b3:1700732875747"
]
],
"content": "OpenAI released its Navier–Stokes result with a Lean proof. The verification matters as much as the claim.\n\nBetter AI makes independent verification more valuable. Scientific progress needs claims we can check.\nhttps://openai.com/index/navier-stokes-solution/",
"sig": "cfabf89b9853a530d298f622e20c0010432472e9ad9cd63e81297048fbc14bdda08dd74928c5107e6a8a70b82b2d413df1cb5ebbc872115cd24ec42f1d615a0d"
}
