Install
We inform, inspire, and connect people who love tech
- 798articles · 30d
- 9+ hour agolatest article
- Aug 14, 2026earliest in window
- 98%with images
- 119avg words
- Economy, Business & Finance 383
- News 352
- Finance & Business 300
- Science & Technology 237
- Computers & Electronics 90
- Software 86
- Science & Nature 73
- Business & Industrial 72
Please confirm you are human
This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.
A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.
News
Navier-Stokes: OpenAI's Bubeck gives his side and apologises
2+ day, 14+ hour ago (516+ words) OpenAI's Sébastien Bubeck gives his side of the Navier-Stokes credit dispute and apologises for a remark. Sam Altman backs him....
OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize
3+ day, 20+ hour ago (320+ words) OpenAI has published its Navier-Stokes writeup, paper and Lean formalisation, says the result establishes statements C and D of the Millennium Prize formulation, and will not claim the prize....
OpenAI says it solved Navier-Stokes. Nobody has seen the proof.
4+ day, 8+ hour ago (759+ words) OpenAI says an internal model proved that 3D Navier-Stokes can blow up in finite time. Tristan Buckmaster says he has not seen the proof, and OpenAI denies his account of how the work began. OpenAI says an internal model proved that…...
Claude formalised Fermat's Last Theorem in 11 days
6+ day, 15+ hour ago (659+ words) Claude agents wrote 13 million lines of Lean in 11 days to prove Fermat's Last Theorem. The mathematician funded to do it says it is not new maths....
AI maths: the famous results are counterexamples, not proofs
3+ week, 5+ day ago (622+ words) Fields medallist Timothy Gowers says the celebrated AI maths results arrived as counterexamples, not proofs. One is not even that....