AINewsnow

A Lean-verified proof can still prove the wrong version of a problem

I've been following the AI/Navier-Stokes story, and I'm still trying to understand exactly what was proved. OpenAI says its system constructed a smooth three-dimensional fluid that starts at rest, has a smooth external force applied, and develops a singularity in finite time. It also released a for…

Read the full story at r/ArtificialInteligence ↗

Timeline · 1 report

  1. 2026-09-19 03:48 · r/ArtificialInteligence
    A Lean-verified proof can still prove the wrong version of a problem

More stories

  1. Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
  2. Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology
  3. Meet the Data Agent in ChatGPT Work — OpenAI YouTube
  4. Introducing the Australian Youth Safety Blueprint — OpenAI News
  5. Microsoft and OpenAI Workers Worry About ‘Largest Theft of Labor’ in History — New York Times Technology
  6. Anthropic selects Accenture as first embedded evaluator to help implement Amodei's slowdown proposal — CNBC Technology
  7. Anthropic mulls new AI model ahead of IPO to counter OpenAI's GPT-6 Astra, says report: What we know — Mint AI
  8. OpenAI ‘ethically hacked’ with help of Anthropic’s Claude chatbot — The Guardian AI

Get the daily brief of stories like this at 6:30 every morning →