News for hackers. Stuff that matters.
Re:OpenAI’s Navier-Stokes release included a Lean 4 formal p... by Miffles201912 on Friday September 11, 2026 @11:57AM (#49660562)
OpenAI should not have gone ahead to rush the publication of this solution when it became clear that other research were close to finding a solution because they ruined their reputation no end. I’m an ex Risk Manager at Financial institution and this could be an issue brought up in a management discussion about using AI in the workplace. Prior to this, you could ‘blissfully assume that the AI company was not going to compete with you and that you were ok to have them see your data. After this incident, a decision maker can raise a concern and say ‘Why not we just use local AI. We get AI without the risk’. They just made the Palantir’s CEOs point for him

There are no comments on this comment yet.