OpenAI changed Navier-Stokes press release and Lean4 code on GH

by rawland | Sep 11, 2026 | 0 comments on HN