Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-be... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

mkl 15 days ago | parent | context | favorite | on: OpenAI’s Navier-Stokes release included a Lean 4 f...

Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h..., discussed recently here: https://news.ycombinator.com/item?id=49568667

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact