OpenAI’s Navier-Stokes release included a Lean 4 formal proof

Hacker News (AI)hace 2 mesesen

2mes

Antigüedad

102

Puntos

84

Comentarios

Publicado: 10 sept 2026, 21:22 UTC
Recolectado: 10 sept 2026, 22:53 UTC

Lee el artículo completo en news.ycombinator.com

overfeed.news indexa y enlaza. Publicamos un extracto breve; el artículo completo sigue en Hacker News (AI).

Más de Hacker News (AI)

Inicia sesión para seguir esta fuente

Hacker News (AI)hace 1 hora

Show HN: I built a Rick and Morty explainer video generator

en▲ 6

Hacker News (AI)hace 3 horas

NYC Council passes ban on 'surveillance pricing'

en▲ 5

Hacker News (AI)hace 3 horas

First Strike

de▲ 5

Hacker News (AI)hace 4 horas

Claude designed FPGA scaler board for 6th-gen consoles

en▲ 5

OpenAI’s Navier-Stokes release included a Lean 4 formal proof —…