
co-founder @darwin_robotics (yc f25) | robots to build civilization | prev. @google, @Theteamatx, @nvidia, @stanford
San Francisco, CA
Joined November 2018
- Tweets810
- Following565
- Followers786
- Likes7.2K
Welcome to the singularity
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.
The sense of touch is the most criminally under-explored modality in robotics. Imagine doing sleight of hand wearing thick oven mitts. That's exactly how a robot feels today if it were alive. A magnetic piece snapping into place, a paper cup peeling out of a stack, a USB negotiating its way into the port - all invisible to the camera.
Learning how to feel must be a full-stack co-designed effort. We are open-sourcing a principled methodology called "T-Rex":
1. Tactile as first-class citizen of the model. Our mixture-of-transformer runs two clocks asynchronously: a slow visuomotor expert plans the motion, and a fast tactile expert refines it in real time with high-frequency corrections at 4 "touch ticks" per vision tick. Forces change faster than frames arrive, so the architecture had to as well.
2. Open data. The largest tactile dataset ever released to our knowledge: a 50-hour (~5,500 episodes) high-quality, carefully synchronized robot play corpus, collected on SOTA tactile hand hardware with 22 degrees of freedom. Available today on HuggingFace!
3. Training recipe: T-Rex extends our prior work, EgoScale. Human egocentric videos for pretraining, a diverse dose of tactile robot play for mid-training. Our experiments show this bridges contact-free pretraining to contact-rich manipulation remarkably well.
Pixels are cheap and everywhere, but they run out of steam at the moment of contact. Tactile will carry the last mile. The next scaling curve will be measured in hours of touch.
T-Rex is a great collaboration between NVIDIA and Berkeley: 🧵
I'm in total awe. But it does seem once one has a target, e.g. a lower bound, and quick verifiability, you can hillclimb quickly. Would be interesting to see evolutionary methods applied to the search itself
We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis.
It didn’t solve it, but it did make strides on a related problem: it increased the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis from 41.6% to 67.2%.
anthropic.com/research/riema…
We're hiring AI researchers and engineers at @thesis_labs to build systems that automate AI research.
If you were impacted by the recent Amazon AGI Lab layoffs, we'd love to hear from you!
Apply: thesislabs.ai/careers
Sergio Charles retweeted
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
Sergio Charles retweeted
Emerging autoresearch labs worth following:
@AutoScienceAI (@eliot_cowan)
One of the cleanest “AI builds AI” bets: agents that invent, test, and ship ML models; not just tune hyperparameters.
@intology (@zhouandy_)
Zochi and Locus are built for the full research loop: read, hypothesize, code, run thousands of experiments, learn from failures, repeat.
@thesis_labs (@eigentopology)
YC F25. Treating ML research as a compounding search problem, where every experiment improves the next one instead of dying in a Notion doc.
@Recursive_SI (@RichardSocher, @_rockt, @jeffclune)
A very ambitious new bet on AI systems that run open-ended experiments on how to make AI systems better. autoresearch with recursive consequences.
@EdisonSci (@SGRodriques, @andrewwhite01)
A newer FutureHouse spinout bringing AI scientists into biopharma R&D — where “deep research” has to survive real data, real experiments, and real timelines.
@HarmonicMath (@tachim, @vladtenev)
Math’s version of autoresearch: AI exploring new proofs, with formal verification as the anti-hallucination layer.
@readysetpotato (@Nick___Edwards)
An AI scientist for actual research workflows — papers, hypotheses, protocols, computational tools, and eventually lab automation.
@EvoScientist (@_xizhang)
A very early one to watch: multi-agent AI scientists with persistent memory, so failed ideas and experiments improve the next research cycle.
@SakanaAILabs (@hardmaru)
The original AI Scientist builders. Still one of the best technical follows for research artifacts, open source, and weird ideas that actually run.
not exhaustive - add the early teams I’m missing in the comment
as the technology becomes more science fiction i see a lot of commentators, technical staff etc trying hard to not think thoughts that feel science fiction as a defense mechanism. but you need to. it’s the only way you’ll make good choices for the future
the way humans do ai research is highly empirical, but it is possible there are very outsized theoretical and mechanistic improvements in model training. even the gradations of skill among human researchers mean some create 10,000x more progress given a compute budget. some invent the transformer or PPO
this is the ilya sutskever “age of research” bet, that you can find massive improvements on small models and small training runs. if Ilya thinks so maybe GPT7 and Claude Requiem think so too.
many of the brightest researchers don’t do fundamental deep learning research anymore. most have stopped being curious as to what a neural net is the way they used to be in 2017. probably because incremental engineering-based progress has been so guaranteed and low-hanging.
the rate and cost of progress today doesn’t necessarily predict the speed of RSI loop
Sergio Charles retweeted
Why does deep learning generalize? What does weight decay really do? Can algorithmic information theory address these questions?
In my latest preprint, I give a proof that the minimum neural weight norm matches the minimum program length (aka Kolmogorov Complexity), up to a logarithmic factor. In other words, the neural network with the smallest possible weight norm (that fits the data) must encode the shortest program (that fits the data).
The result only holds for fixed-precision neural nets: infinite precision nets can store infinite information with finite (small) weights.
arxiv.org/abs/2605.10878
Sergio Charles retweeted
If this is not obvious enough...
> Mar 25, Sakana’s AI Scientist makes Nature
> May 13, RSI raises $650M to build self-improving AI
> May 13, Adaption ships AutoScientist for model training
> May 19, Karpathy joins Anthropic pretraining
> May 19, Nature drops 3 AI-scientist papers in one day
The next frontier is not bigger models.
It’s AI researchers building AI researchers.
In 2020, DeepMind showed machine learning could solve protein structure prediction.
Today, we're using @thesis_labs to tackle CAFA 6: predicting what proteins actually do! 🔬🧬
Try it now: thesislabs.ai
#MachineLearning #AIResearch #Proteins
Kudos to @pushmeet! AI for cancer genomics is the kind of #AI4Science work we should see more of :)
repo: github.com/yurikasukama/open…
Yesterday, @demishassabis spoke at @ycombinator and said DeepMind looks for grand challenges with two properties:
1. "a massive combinatorial search space"
2. "a clear objective you can hill-climb"
"Life is short, solve the hard problems."
At @thesis_labs, we're building AI systems that can tackle this kind of search autonomously.


















