https://arxiv.org/abs/2610.08144
> In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations
So OpenAI, the bullshit company selling the bullshitting product might be bullshitting everyone?
(Just a caveat, arxiv is not a peer-reviewed publication and this is from just 2 days ago so this should be taken with a grain of salt, science normally goes slower than hype wants it to)
#NavierStokes #OpenAI #LLMs #GenAI #AI
Soso
npub144…2pth4
2026-10-08 11:50:47 UTC
Author Public Key
npub144axvvmme0kpjtenmd05lk3yakat3qv4nyylh04tmgz2348u28xs62pth4Seen on
wss://relay.momostr.pinkPublished at
2026-10-08 11:50:47 UTCEvent JSON
{
"id": "35d9de2b0db52cacc808aabd22f3104c2c97863a52b63d5356299ceb9594edc5",
"pubkey": "ad7a66337bcbec192f33db5f4fda24edbab881959909fbbeabda04a8d4fc51cd",
"created_at": 1791460247,
"kind": 1,
"tags": [
[
"t",
"openai"
],
[
"proxy",
"https://pouet.chapril.org/@sgued/117405138760406257",
"web"
],
[
"t",
"llms"
],
[
"t",
"ai"
],
[
"t",
"navierstokes"
],
[
"t",
"genai"
],
[
"proxy",
"https://pouet.chapril.org/users/sgued/statuses/117405138760406257",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://pouet.chapril.org/users/sgued/statuses/117405138760406257",
"pink.momostr"
],
[
"-"
]
],
"content": "https://arxiv.org/abs/2610.08144\n\n\u003e In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations\n\nSo OpenAI, the bullshit company selling the bullshitting product might be bullshitting everyone? \n\n(Just a caveat, arxiv is not a peer-reviewed publication and this is from just 2 days ago so this should be taken with a grain of salt, science normally goes slower than hype wants it to)\n\n#NavierStokes #OpenAI #LLMs #GenAI #AI",
"sig": "f5692bc076520a21f4c08111a726cda50db2752b34e409e59724e83941203d86c427b23598d99e0cd91b7b37754db599cb4495b786334ecbb82b5856167ad387"
}