OpenAI mistranslated mathematics into code for its Navier-Stokes proof from Hacker News on 2026-10-09 21:25 (#78YWH) Comments