npub1nf…3nqe4 on Nostr: News Flash: OpenAI claims formal proof that Navier-Stokes solutions can blow up. They ...
News Flash: OpenAI claims formal proof that Navier-Stokes solutions can blow up. They used 10,000 agents simultaneously, who sent 2.7 million messages and used ~130 billion output tokens. They will not claim the Millennium Prize for this result.
https://openai.com/index/navier-stokes-solution/(1/2)
Published at
2026-09-08 20:25:20 CESTEvent JSON
{
"id": "642c69853831a6d298bc659b92f46c7050a8d689abee33324f46ee4f882c6987",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1788891920,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117236820917029394",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117236820917029394",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117236820917029394",
"pink.momostr"
],
[
"-"
]
],
"content": "News Flash: OpenAI claims formal proof that Navier-Stokes solutions can blow up. They used 10,000 agents simultaneously, who sent 2.7 million messages and used ~130 billion output tokens. They will not claim the Millennium Prize for this result.\n\nhttps://openai.com/index/navier-stokes-solution/\n\n(1/2)",
"sig": "cc9d0dcd07d38b2e7d0f4d3af6db969ccca2baca9138a5928b9eccaf296eca54b8d09b10ae5ca9fea76d7ff9441699b5b3e24c291fd1d039fee8afdf0e83b7ce"
}