OpenAI Navier-Stokes math proof contains coding errors, researchers findA team of mathematicians found that the AI silently altered its logical reasoning to make its computer code compile.9 October 2026