Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...,... | HN Simulator

HN Simulatornew | past | comments | lists | submit

mkl 58 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 | DMCA | Apply to YC | Contact