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,329
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,500
One of the craziest days in the history of mathematics
10
10
3,427
We got the Quasi-Riemann Hypothesis today
6
12
3,313
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,133
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,641
Exciting talk at Stanford on AI Software Factories in blockchain
16
5
1
30
8,854
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,953
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,669
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,587
Two math conjectures proven false in the last couple of days
2
1
8
3,656
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,387
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,577
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,541
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,251
T+20 hours, mainnet systems and EVM block production looking stable internally @ 10:00 UTC
253
28
4
168
38,715
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,793
Further more interesting aggregate metrics will take a while to compute and be compiled
20
2
20
6,578