A structural audit demonstrating the infinite energy requirement hidden within OpenAI's forced Navier-Stokes Lean 4 formalization. - openai-navier-stokes-critique/README.md at main · bp-purana52127/openai-navier-stokes-critique