AINewsnow

When AI chooses the questions

This story is from 2026-09-23. It is preserved in the archive; the latest stories are on the live feed.

On September 21, OpenAI announced that an internal model had solved more than a hundred open mathematical problems . Two weeks earlier, it had published a proof of the Navier–Stokes problem , accompanied by a Lean formalization. The announcements offer different kinds of evidence: the latter gives…

Read the full story at DEV Community — AI ↗

Timeline · 1 report

  1. 2026-09-23 13:39 · DEV Community — AI
    When AI chooses the questions

More stories

  1. GPT-6 Sol and Luna now available on AI Gateway — Vercel Blog
  2. Anthropic launches Claude Opus 5.5 with stricter safeguards for cybersecurity — The Verge AI
  3. Meet the Data Agent in ChatGPT Work — OpenAI YouTube
  4. British Columbia Sues OpenAI, Alleging ChatGPT Aided Mass School Shooting — Wall Street Journal Technology
  5. Anthropic and OpenAI roll out cheaper models in first release since call for slowdown — CNBC Technology
  6. Two years of OpenAI Academy — OpenAI News
  7. Claude Opus 5.5 delivers Fable 5.1 performance – and costs 40% less — ZDNET AI
  8. OpenAI solved 100 open problems in math — r/singularity

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