Hardware Verification @Axiommathai, 🚗 @drivingbench | prev PyTorch/MTIA @meta, @uchicago

San Francisco
Joined February 2017
Over the weekend, I put an unreleased checkpoint of π0.7 inside an excavator and placed 2nd at the @ActorLabs + @physical_int 36hr hackathon. With about an hour of embodied data (3 cameras and joystick values, no joint angles), the policy could continuously move dirt with a single prompt. This was so straightforward to get working (pi is cooking) we spent the rest of the hackathon mounting a Nerf minigun on the roof. We added a people searching/tracking + firing feature to prevent people from getting too close to the dangerous machinery (ai safety feature). Here’s how we built it + more details (data collection, hardware hax, sim2real, video of me getting shot)🧵
32
25
7
289
51,990
Bullish
The Agent SDK is now available. Define agents as code, with prompts in Markdown and tools in TypeScript. Deploy them on our hosted infrastructure, or run them on your own. Built-in evals let you measure every change and make your agents better over time.
6
399
maybe the point of cybersecurity was the friends we made along the way
22
241
20
1,681
35,183
To quote @nautsimon_: "Is this AGI?"
Announcing the beta release of the Pi API. We’ve partnered with companies across diverse industries to adapt our models to their robots and applications, from harvesting strawberries to assembling servers. Now we’re opening access to more teams.
1
1
2
243
this is the pi0.7 moment of robotics
Announcing the beta release of the Pi API. We’ve partnered with companies across diverse industries to adapt our models to their robots and applications, from harvesting strawberries to assembling servers. Now we’re opening access to more teams.
2
45
1,193
Announcing the beta release of the Pi API. We’ve partnered with companies across diverse industries to adapt our models to their robots and applications, from harvesting strawberries to assembling servers. Now we’re opening access to more teams.
130
247
231
2,331
412,501
Ever since I was a kid I wanted to be featured in a Physical Intelligence blog post
Announcing the beta release of the Pi API. We’ve partnered with companies across diverse industries to adapt our models to their robots and applications, from harvesting strawberries to assembling servers. Now we’re opening access to more teams.
5
1
1
101
3,043
predicting state from t -> t+1 has always fascinated me. it’s obviously super exciting in robotics, but I’ve been just as interested in it for forecasting macroeconomic and geopolitical events. working with @haifengxu0 on @ProphetArena last year, it was interesting to see LLMs’ emerging forecasting abilities (and where they fell short). as in most domains, a big edge comes from information asymmetry, and how quickly you act on it. An obvious observation: prediction markets are thin and slow. financial markets are the opposite: a noisy but fast representation of the macro state of the world, encoding not only current beliefs but speculation from some of the world’s most sophisticated actors. pulling signal from this source is a fun challenge, and a big part of why I worked on this. in this paper, we build a foundation for learning high-quality embeddings of market state with LeJEPA (and SSL more broadly). totally agree with @randall_balestr that the geometry of market data and predicting in latent space deserve more investigation. I’m super excited to explore using these representations in larger systems for conditional, what-if forecasting on binary events. data and code are linked in the thread for anyone who wants to poke at it.
Financial data is RIPE for JEPAs... noise, non-stationarity, unknown ground truth states... yet data and evaluation is not readily available! We resolve that in our latest NeurIPS paper `Towards Financial World Modeling' TLDR: invest with LeJEPA ;) 📄arxiv.org/abs/2610.09048 🧵⬇️
8
3
35
1,877
love living in the future ngl
What's next for DrivingBench? @nautsimon_: "We want to take this research and make it a little bit more rigorous. We’ve been planning and talking to some labs and companies about scaling it up. There are also a couple of other embodiments we’re really interested in." "If we’re going to have safe physical AI, we really need to be serious about our benchmarks and make sure we’re doing things in a way that guides the researchers building these models, helps us accelerate, and lets us do it safely." @MTSlive @tobiges @a_ramabadran
1
29
998
Late af, but this was a super special event :) Met some really cool people and big thanks to everyone that tuned in on my blurb about ai + formal methods/math. also @perilanglois you killed it + thanks for accepting my last min slides haha 🐐
Thanks to everyone who joined us at Runtime yesterday. 9 tracks, 30+ speakers, and a room full of engineers running AI in production.
2
4
42
2,363
We have seen a growing and concerning trend of startups supplying data to China. Today we are taking a public stance against this practice At fleet, we believe this represents one of the largest national security threats today and must be stopped. We must win the AI race for America and shape AI with the same democratic values that have shaped our nation Our full statement here: fleetai.com/supporting-ameri…
The AI arms race isn’t just being fought over Nvidia chips. Chinese labs are matching OpenAI and Anthropic by purchasing the exact same data from US vendors like @mercor and Surge AI (who also work with the US federal govt) forbes.com/sites/annatong/20…
5
21
1
134
14,599
simon retweeted
Big, big, big, big props for quasiriemann and no Siegel zeroes (with many other beauties in there), I’m kicking myself for talking all over about it being within reach but not actually having pushed. There are some sad stories related to their users getting scooped / conflicts of interest (kakeya maximal comes to mind), and obviously we had some of the problems (without commenting on precise rumours). We should put that aside for today though. It’s obviously the most significant moment in mathematical history.
45
157
30
2,714
219,671
One of the most high leverage ways academia can contribute to AI progress is through the development of high quality benchmarks. University labs getting priced out of AI evals is not a future we should be willing to accept as a field.
Prediction: universities will get priced out of AI evals work We just spent $50k yesterday benchmarking 40 long horizon coding tasks As we design harder tasks for agents, trajectories are getting longer and need more tokens. That means substantially more inference and compute. How is this economically feasible for academics working off university grants?
7
6
94
6,343
simon retweeted
openpilot is the harness for robotics
Three engineers rented a @Toyota Corolla, hooked up a @comma_ai kit and had GPT-6 Astra from @OpenAI drive it through a cone course. The prompt was under 600 words and nobody trained the model to drive. It was the only model they tested that finished. One of them kept a foot over the brake. Great topic for @techimpactTV 404media.co/these-tech-worke…
3
8
154
19,069
We also took a shot at sim2real. While it didn't end up using it for data collection, we did use it for evaluating policies. We recreated the scene by recording a few minutes of calibration video demonstrating the speed of various movements relative to their joystick position. In addition, we took pictures of a checkerboard calibration target in multiple orientations.
1
10
974
This was a legendary event. Had a great time hanging out with some of the fellow participants late into the night. I really enjoyed sleeping in the @ActorLabs' parking lot this weekend. Their team is super cracked and they are genuinely working on super interesting problems. Shout out to them for letting us use their lab, and shoutout to @physical_int for letting us use their model and API! If anyone wants to hack on something, hmu and let's cook. Here's a video of me getting shot as part of the demo. #aisafety
1
1
9
893