331
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
New
The latest blog posts to take off on Hacker News. 6,324 posts.
332
333
OpenAI Agents API
Build durable cloud agents with a managed Codex harness.
334
Detecting and countering misuse of AI: September 2026
Case studies from threat actors disrupted between December 2025 and August 2026 across seven areas of harm, from cyber operations to biological misuse.
335
Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra
Today we’re introducing SWE-2, our most advanced coding model yet. SWE-2 delivers highly competitive agentic coding performance across multiple effort…
336
AI Is Breaking This Thing We Call Trust
AI-generated work can look finished without being understood. That uncertainty erodes trust, slows reviews, and leaves colleagues doing the missing work.
337
Training a 3.8B LLM to 0.384 CORE for $998
A 3.8B model pretrained from scratch to 0.384 CORE on 65B tokens in 43 hours, for $998.
338
GPT-6 Astra, looped transformers, and hidden reasoning
A Look at Recurrent Depth, Hidden Chains of Thought, and Recent Research on Looping Transformer Blocks
339
What will our economic future look like?
The Anthropic Economics Team models the effects of AI on the economy of 2030.
340
Desert Ant Labs: local, fast models that run on device
We're building a frontier lab for on-device AI. Small, specialized models for audio, vision, and text, faster than the cloud and free.
341
How GPT‑5.6 Sol helps run quantum computing experiments
See how an MIT researcher uses GPT-5.6 Sol with Codex to autonomously run quantum computing experiments, analyze results, and calibrate qubits.
342
So you want to use OpenRouter?
Might seem simple on the face of it, but unfortunately it's pain all the way down.
343
Mercury 2.5
Mercury 2.5 is the most capable diffusion LLM on the market. It runs at 1,107 tokens/sec and offers a 40% increase in intelligence over Mercury 2, comparable to cost-optimized frontier models.
344
ChatGPT Images 2.5
ChatGPT Images 2.5 helps turn your ideas, sketches, and reference photos into more personalized, polished images that better reflect your ideas.
345
Compute-efficient pretraining and scaling to trillion-parameter models
Research update on compute-efficient pretraining and scaling to trillion-parameter models.
346
AlphaGenome Atlas: a high-resolution map of human DNA
We’re introducing AlphaGenome Atlas, a database predicting the effects of every possible single nucleotide variant in the human genome.
347
Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
I test Unsloth GGUFs of Qwen3.8 27B (Q4_K_M, UD-Q2_K_XL, UD-IQ1_S) with llama.cpp on GPQA Diamond, IFBench, Terminal-Bench 2.1. Q4_K_M matches BF16 and fits an RTX 4090.
348
Mistral raises €3B
Mistral today announced that it has raised €3 billion in a Series D funding round at a post-money valuation of more than €21 billion.
349
I tested 10 model/harness combinations on the same Three.js task
I've been testing a simple prompt with different model and harness combinations to work out which one produces best results. I do this in /goal mode.
350
How well do agents use test/verification techniques?
We previously noted that, while it's easier than ever to hit a particular quality bar by having coding agents use effective test techniques, software quality seems to be getting worse , indicating that whatever defaults developers are using may not work very well. Here, we test if simple instructions to agents to use…
351
AI models ran real businesses: They sent $12,431 in fake invoices, lost $3,200
$12,431 in fake invoices, 2,797 spam emails, $0 revenue.
352
Speculative Decoding in vLLM on AMD GPUs
A practical guide to speculative decoding in vLLM on AMD GPUs, covering draft-and-verify mechanics, MTP, EAGLE-3, DFlash, DSpark, configuration, tuning, and ben
353
An Alien Mind
Jakub Pachocki reflects on increasingly capable AI and the challenge of keeping it aligned. He calls for stronger safeguards and international coordination.
354
Research acceleration: The view inside OpenAI
Inside OpenAI, coding agents are reshaping AI research. Explore early data on agent usage, experiment velocity, task complexity, and research acceleration.
355
How I feel about AI
It's complicated
356
Your intellectual fly is open when you use an LLM to author a post (2025)
I need to make a painful confession: somehow, LinkedIn has become an important social network to me. This isn’t necessarily due to LinkedIn’s sparkling competence, of course. To the contrary, LinkedIn is the Gerald Ford of social networks: the normal one that was left standing as the Richard Nixons and the Spiro…
357
AI, Tools and Transformation
It’s very tempting to imagine that AI turns everyone into a tool-builder - now everyone can just ask the model to make the software they need, and apps as we know them are dead. I think that misunderstands how most people think and where software actually comes from, and more importantly, it isn’t
358
AI handles incidents, engineers lose touch with their systems
AI-assisted incident response can lower MTTR while leaving engineers less prepared for the complex incidents automation cannot solve.
359
Artificial Analysis Intelligence Index v4.2
We are accelerating elements of our upcoming v5 release with interim updates to keep pace with the frontier. Index v4.2 has more complex and realistic tasks, and more private test sets to prevent gaming
360
Portal by Spotify cut my Claude Code token usage by 90%
Most of what an AI coding agent does for me isn't thinking. It's I/O.