OpenAI’s Navier-Stokes release included a Lean 4 formal proof
1mês
102
84
- Publicado
- Coletado
Leia o artigo completo em news.ycombinator.com
O overfeed.news indexa e aponta. Publicamos um trecho curto — o artigo completo fica em Hacker News (AI).
1mês
102
84
O overfeed.news indexa e aponta. Publicamos um trecho curto — o artigo completo fica em Hacker News (AI).
