We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

The Early Access Network is an invite-only group of senior technology leaders who want to see what's coming before it's on anyone's shortlist.

Four times a year, we put a hand-picked group of YC's...

Explore AlphaGenome Atlas, a catalogue predicting the molecular effects and AVI scores for 9 billion single-nucleotide variants across the human genome.

Full-stack, renderer-agnostic Generative UI with a streaming-first language, official React support, community integrations, and up to 67% fewer tokens than JSON.

ChatGPT Images 2.5 helps turn your ideas, sketches, and reference photos into more personalized, polished images that better reflect your ideas.

More than 2,000 flights have been affected over two days, analytics firm Cirium says, with images showing people asleep on airport floors.

Meet Muse, Meta's personal AI agent. Learn what it can do across everyday tasks, how it works, and how it helps you get more done.

ARGODRIVE Deltafin: Kimi K3 (2.8T MoE) streamed from SSDs on Apple Silicon — fork of gavamedia/deltafin with the ARGODRIVE storage work and benchmark package - argonautlabsai/deltafin

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.

There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

Explore this post and more from the codex community

Following their Emmy win for Outstanding Animated Program, South Park is making a big change. Creators Trey Parker & Matt Stone announce:

“Inspired by the bravery and patriotism of Apple and Goo…

If you're giving me e-paper, I'm going to make an e-printer.

I wrote recently about how the collection of good, fruitful open problems is now being mined in a non-renewable fashion, leading to the potential scenario of these problems becoming scarce. This may seem unintuitive at first, since the set of possible problems…

Meta dragged its feet removing ads that nudify young girls' Instagram pics.

I resigned from Anthropic today. I spent the last three years doing pretraining research at both OpenAI and Anthropic. Neither company is acting responsibly. They are racing straight to self-improving superintelligence and gambling with our lives. More thoughts…