Congratulations to @CarinaLHong and the @axiommathai team on reaching a historic milestone! 💪
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
0
0
0
36
Alex retweeted
Excited to announce Agent Mode.
1/ Right now, agents are struggling to use websites on the internet. As a result, personal agents take too long to reply, and don’t get the information they need.
1/ Right now, agents are struggling to use websites on the internet. As a result, personal agents take too long to reply, and don’t get the information they need.
72
53
228
23,019
Alex retweeted
proud to see Fundamental named to the #disruptors60
great recognition of the team and the work we're doing
@TechCrunch
great recognition of the team and the work we're doing
@TechCrunch
3
2
22
293
Alex retweeted
I officially joined @Sierra_Ventures as Head of Inception
I'll writing first checks into exceptional teams building in AI and Hardtech. Deeply grateful to the Sierra team for the opportunity.
If you're building something technically ambitious, my DMs are open.
I'll writing first checks into exceptional teams building in AI and Hardtech. Deeply grateful to the Sierra team for the opportunity.
If you're building something technically ambitious, my DMs are open.
101
42
604
23,143
Incredibly exciting work by @jsantosaranda and the @HarborAI_ team!
AI needs clear liability.
Today, @HarborAI_ comes out of stealth with a $10M seed round led by @Base10Partners, @AbstractVC and @8vc.
@elechi_v0, Cristian, Luis and I started @HarborAI_ with one mission: to insure the agentic economy.
Rather than pacing the frontier, we es in pushing this frontier with real skin in the game.
0
0
2
71
If we live in a simulation, please let it be a @odysseyml world model 🔥
Today we're launching Odyssey-3, the most powerful foundation world model yet.
It sets a new state of the art on Physics-IQ, and powers robots, trains AIs, and generates interactive experiences. It's really cool.
Experience the model today, all for free!
1
0
6
74
Alex retweeted
Very proud that Odyssey-3 is the most physics-accurate world model in...the world!
Today we're launching Odyssey-3, the most powerful foundation world model yet.
It sets a new state of the art on Physics-IQ, and powers robots, trains AIs, and generates interactive experiences. It's really cool.
Experience the model today, all for free!
19
18
180
10,128
Alex retweeted
What is old is new.
Today, we’re introducing a new identity for @laborup_usa.
Laborup is a bet on people and what becomes possible when they have better tools. The idea behind our new mark is more than 2,000 years old. 🧵
Today, we’re introducing a new identity for @laborup_usa.
Laborup is a bet on people and what becomes possible when they have better tools. The idea behind our new mark is more than 2,000 years old. 🧵
6
12
29
1,686
Congratulations @brody_franzen and the @Furientis team. Awesome milestone and grateful to be a part of the mission 🚀 🫡
Today, we announced a $25M Seed round led by @benchmark, along with Furientis’ first funded @DeptofWar contract.
Sharing more below, but we are so grateful to everyone involved and looking forward to building the next generation of American defensive munitions.
0
0
3
61
Rare to see growth like this 👀
If you like growth charts like this, love hard problems to solve, are excited about building the worlds best personal agent harness, and doing some insane research, @wajo_ai is hiring the top 1% people. You need to
- be obsessed with @hey__fo
- have opinions about being able to nsanely good at engineering / applied ai / infra / research
- comment and share whats the coolest thing you have done with fo, and why we should hire you :)
tag your crack friends.
0
0
1
83
Alex retweeted
Big day for us. We just launched fo!
Personal AI that brings in real humans when AI can't finish the job. Free to try: wajo.ai/join-wajo
Personal AI that brings in real humans when AI can't finish the job. Free to try: wajo.ai/join-wajo
I led engineering at Google DeepMind.
Today, I'm proud to introduce Fo to give personal AI something no lab ever has... Humans.
Other personal AI's pretend AI can do everything. Fo employs humans to do tasks that AI cannot.
- 2x better at real-world task completion (beats 94% trust rate (4x less likely to leak private info vs Muse, Instinct)
Sign up for free: wajo.ai/join-wajo
14
14
141
19,017
Fo has booked medical appointments, scheduled school tours, planned trips, and basically been my EA for work over the past few weeks.
Don't know what I'd do without it... Nice work @shivanipod and the @wajo_ai team!
Don't know what I'd do without it... Nice work @shivanipod and the @wajo_ai team!
I led engineering at Google DeepMind.
Today, I'm proud to introduce Fo to give personal AI something no lab ever has... Humans.
Other personal AI's pretend AI can do everything. Fo employs humans to do tasks that AI cannot.
- 2x better at real-world task completion (beats 94% trust rate (4x less likely to leak private info vs Muse, Instinct)
Sign up for free: wajo.ai/join-wajo
0
0
0
148
Alex retweeted
China is winning the AI race.
So we raised $12M from @8vc to build thousands of new AI data centers in America.
Here's what will make the AI bubble pop:
Data centers are needed for AI. Every invoice to build a data center is hundreds of millions of dollars and thousands of e teams that need to approve these invoices are drowning.
The entire AI race is being bottlenecked by human approval. AI should fix this.
That's why we’re launching Kos.
Kos is a team of AI agents that work the way humans work. Tag Kos in Microsoft teams, or get on a Zoom call.
It doesn't hallucinate, and it has verifiable proof for it's work.
Kos is purpose built AI for Datacenter, Energy, and Manufacturing Finance. Think Harvey but instead of for law, it's specialized for Finance.
Book a demo here: kos.ai
------
We’re backed by the founders and C-Suite of billion dollar companies:
Keith D. Taylor (former Equinix CFO), Dave Ferdman (CyrusOne Founder), Heather Paduck (STACK Infrastructure CFO), Matthew DeNezza (former Crusoe CFO), and @sk7037 (Stanford, OpenAI).
Our institutional investors are @8VC, led by @AlexKolicich, XYZ (@fubini), MVP (Alex Li)
------
One more thing, I made a huge notion doc on everything I learned building my last company (SpotAI) to >$100M in sales and funding.
I give away my secret framework to find the right market, my exact interview process, and how to close enterprise deals.
If you want it, just let me know and I'll shoot it over :)
So we raised $12M from @8vc to build thousands of new AI data centers in America.
Here's what will make the AI bubble pop:
Data centers are needed for AI. Every invoice to build a data center is hundreds of millions of dollars and thousands of e teams that need to approve these invoices are drowning.
The entire AI race is being bottlenecked by human approval. AI should fix this.
That's why we’re launching Kos.
Kos is a team of AI agents that work the way humans work. Tag Kos in Microsoft teams, or get on a Zoom call.
It doesn't hallucinate, and it has verifiable proof for it's work.
Kos is purpose built AI for Datacenter, Energy, and Manufacturing Finance. Think Harvey but instead of for law, it's specialized for Finance.
Book a demo here: kos.ai
------
We’re backed by the founders and C-Suite of billion dollar companies:
Keith D. Taylor (former Equinix CFO), Dave Ferdman (CyrusOne Founder), Heather Paduck (STACK Infrastructure CFO), Matthew DeNezza (former Crusoe CFO), and @sk7037 (Stanford, OpenAI).
Our institutional investors are @8VC, led by @AlexKolicich, XYZ (@fubini), MVP (Alex Li)
------
One more thing, I made a huge notion doc on everything I learned building my last company (SpotAI) to >$100M in sales and funding.
I give away my secret framework to find the right market, my exact interview process, and how to close enterprise deals.
If you want it, just let me know and I'll shoot it over :)
158
79
410
927,144
Cool to see @vkhosla talk about @hey__fo on @tbpn today.
Fo has booked (and paid) for restaurants, doctor appointments, school tours, haircuts for me… And it’s getting better every day!
Fo has booked (and paid) for restaurants, doctor appointments, school tours, haircuts for me… And it’s getting better every day!
Come hear @vkhosla talk about Wajo AI's @hey__fo at @tbpn live!
We are the only agent built with trust, get shit done guarantees, and meeting the user where they are - texting, email, group chats and your phone.
We are letting people experience Fo at @wajo_ai - you do need an mited Wajo!
0
1
1
164
Alex retweeted
Everyone on X is lying to you
They say “China is going to win the AI race”
Yes they will…But the reason is not what you think
Everyone on the internet believes it’s environmental pushback and energy shortage
That we need to “slow down”
I think we need to speed up (now more e wrong
Protecting local grids and water is non-negotiable, being a responsible fiduciary is non-negotiable
But If compute stays scarce, only the rich get to use it.
Ubiquitous, cheap compute is the only way America beats China and makes intelligence accessible to everyone.
The reality is of AI is not models and AGI
AI is concrete, steel, chips, equipment, power plants, substations, and transmission lines.
That’s where we’re losing
We’re wasting money and infrastructure on things that don’t need it.
We’re so excited to discuss the “$50B AI deal” that happened last week
But what happens after?
That capital most likely ended up in an analog back office.
With a bunch of contractors reviewing that line by line
Billions of dollars bleed out through these contractors
And THAT is why AI is expensive and slow
Trust me, I spent the last 15 years inside that physical layer.
I started in Stanford AI research under Sachin Katti.
I built networking hardware for server racks, wrote energy efficiency software for data centers, and deployed computer vision on oil rigs and construction sites at Spot AI.
I watched the money pipeline for years
This contractor chaos and pure wastage are the reasons compute stays artificially scarce and expensive.
This is what i’m building now
A financial layer so strong that compute becomes cheap and easily accessible
Because if we want cheap AI for the world, we have to fix the back office first.
Lots of opinions, exciting things and announcements coming soon
Follow along if you like nerding out on AI, Tech and Financial systems
They say “China is going to win the AI race”
Yes they will…But the reason is not what you think
Everyone on the internet believes it’s environmental pushback and energy shortage
That we need to “slow down”
I think we need to speed up (now more e wrong
Protecting local grids and water is non-negotiable, being a responsible fiduciary is non-negotiable
But If compute stays scarce, only the rich get to use it.
Ubiquitous, cheap compute is the only way America beats China and makes intelligence accessible to everyone.
The reality is of AI is not models and AGI
AI is concrete, steel, chips, equipment, power plants, substations, and transmission lines.
That’s where we’re losing
We’re wasting money and infrastructure on things that don’t need it.
We’re so excited to discuss the “$50B AI deal” that happened last week
But what happens after?
That capital most likely ended up in an analog back office.
With a bunch of contractors reviewing that line by line
Billions of dollars bleed out through these contractors
And THAT is why AI is expensive and slow
Trust me, I spent the last 15 years inside that physical layer.
I started in Stanford AI research under Sachin Katti.
I built networking hardware for server racks, wrote energy efficiency software for data centers, and deployed computer vision on oil rigs and construction sites at Spot AI.
I watched the money pipeline for years
This contractor chaos and pure wastage are the reasons compute stays artificially scarce and expensive.
This is what i’m building now
A financial layer so strong that compute becomes cheap and easily accessible
Because if we want cheap AI for the world, we have to fix the back office first.
Lots of opinions, exciting things and announcements coming soon
Follow along if you like nerding out on AI, Tech and Financial systems
1
24
48
9,742
Exciting launch by @cheryljliu and the Raspberry AI team!
Can say I’ve seen first-hand how much customers love it… I live with one 💪
Can say I’ve seen first-hand how much customers love it… I live with one 💪
Today we're launching the new Raspberry.
A single collection can take up to 18 months to get to market. It requires trend research, design iterations, technical development, merchandising, campaign assets, wholesale materials, PDP imagery + dozens of handoffs in between.
Now a goal, build a plan with your Agent, and let it execute the entire workflow with you.
From concept → commerce.
See what a day with the new Raspberry looks like. Link to our press release in comments.
1
0
3
118
Massive leap in model capability for @odysseyml. Amazing work from @olivercameron, @jeffrey_hawke and the team.
All roads lead back to self-driving and robots 🤖🚗
All roads lead back to self-driving and robots 🤖🚗
Today we’re unveiling Odyssey-3, a big step forward for foundation world models.
It can control robots, power humanoids, drive cars (on the roads of India!), train AIs, pilot drones, and even play video games.
We can’t wait to see what intelligent systems it enables.
0
0
4
150
Addicted to this. @shivanipod and the @wajo_ai team are cooking with gas 🔥
BREAKING: Starting today, we are launching a Big Update to our Voice stack in Fo. We are the only agent in the market that you can call, and that makes calls for you.
You can
- Call Fo on it's phone number and be hands free
- You can talk to it in your native language and make ges. This is big for our users across the world
- You can have it speak bi-lingually, this was big for me, I speak Hinglish a lot, and it just makes the experience so personal.
Agents that meet you where you are, your personal experiences, your local languages are the future. Wajo is building agents for the world. Welcome to the future.
1
1
1
192
RT @westonmoyer: @MVP_Ventures just got featured on the 2026 Strebulaev-Jackson list of the top 100 emerging U.S. VC firms.
Since our ince…
Since our ince…
0
1
0
1