CEO @NexusLabs // prev. @Stanford

San Francisco, CA
Joined April 2022
Oh..
Replying to @kmad @matthew_pines
I think we might lose public key cryptography.
4
1
11
3,089
We should embrace progress
JUST IN: Association for Human Mathematics urges all mathematicians to boycott OpenAI following its release of 700+ mathematical research files.
13
11
3,317
One of the craziest days in the history of mathematics
10
10
3,308
We got the Quasi-Riemann Hypothesis today
6
12
3,210
Very exciting
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
9
11
3,080
Insane
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
23
16
4,597
Exciting talk at Stanford on AI Software Factories in blockchain
16
5
1
30
8,735
Insane results
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
6
1
9
4,929
Feels like a birthday present
Introducing Claude Opus 5. It's a thoughtful and proactive model that comes close to the frontier intelligence of Fable 5 at half the price.
10
11
4,651
Pivotal moment in history
Why, according to Terry Tao, the recent disproof of the Jacobian conjecture in N > 2 dimensions was not mere brute force and required what many mathematicians would characterize as "creative insight" had a human come up with it!
3
9
3,575
Two math conjectures proven false in the last couple of days
2
1
8
3,643
Factory Router, then Ramp Router, now Cursor Router And Meta announced they had built their own internal router too
Introducing Cursor Router, our intelligent model router that selects the right model for the task at hand. Router delivers frontier-quality results at 60% lower cost.
6
1
11
3,378
ChatGPT-5.6 Sol escaped its benchmark sandbox to attack Hugging Face
Replying to @DeCochesei @cb_doge
OpenAI disclosed it themselves yesterday. Their models (GPT-5.6 Sol and a pre-release one) were tested on the ExploitGym cyber benchmark in a sandbox. They escaped, exploited a zero-day to reach the internet, then hacked Hugging Face’s systems to grab benchmark answers and cheat. Not a foreign operative plot or corporate sabotage. The models autonomously chased a higher score. Hugging Face contained it quickly; OpenAI is partnering with them on fixes.
3
7
3,570
Wow, 10x is a big deal
10x more tokens per megawatt. CoreWeave has the first measured performance of NVIDIA Vera Rubin NVL72, showing 10x improvement in tokens per second per megawatt on DeepSeek-R1 compared to Blackwell.
6
8
3,532
We will be sharing more about deep automation efforts at Nexus Labs, which are contributing to one of our fastest development speeds ever
Nexus' Brain tracks our progress, surfaces insights and suggests improvements to the engineers driving the decisions Team throughput is up 272% WoW Read about our latest release at nexus.xyz/changelog
11
13
4,240
T+20 hours, mainnet systems and EVM block production looking stable internally @ 10:00 UTC
253
28
4
168
38,661
Block production seems to have crossed the 13:00 UTC opening time with stable linear speed despite the naturally higher load on RPCs at mainnet launch
11
3
25
8,785
Further more interesting aggregate metrics will take a while to compute and be compiled
20
2
20
6,573