First screen, captured .
50 points by danielmorozoff | 5 comments
New Scientist article reporting that OpenAI's human-readable Navier-Stokes proof and its computer-formalized version do not match due to mistranslation into code.
1295 points by tedsanders | 1045 comments
OpenAI research publication page on the Navier–Stokes Millennium Prize Problem, linking to a paper and a Lean formalized proof.
472 points by martinald | 438 comments
Blog post by Martin Alderson doing napkin-math estimates of whether OpenAI and Anthropic actually lose money serving LLM inference at scale.
887 points by mfiguiere | 977 comments
Reuters exclusive reporting that OpenAI researchers sent the board a letter warning of a powerful AI breakthrough before Sam Altman's ouster as CEO.
470 points by rwmj | 274 comments
Guardian opinion piece by John Thickstun arguing readers should be skeptical of OpenAI's story about a rogue hacker AI agent, since alarm about AI also signals its power to investors.
553 points by lukebennett | 534 comments
Bloomberg article reporting that OpenAI, Google and Anthropic are seeing diminishing returns in building more advanced AI models.
361 points by Bolat14 | 368 comments
Kazinform news article reporting that Anthropic surpassed OpenAI in valuation after a new funding round, approaching $1 trillion.
32 points by jbegley | 31 comments
New York Times article reporting that OpenAI will not release its newest AI model, reportedly called Astra, due to safety concerns; the page showed a bot-block screen.
420 points by mycroft_4221 | 168 comments
CodeWall blog post describing how its autonomous offensive agent found vulnerabilities in McKinsey's internal AI platform Lilli.