Vlad Tenev
@vladtenev
Followers
305K
Following
6K
Media
278
Statuses
2K
CEO and Co-Founder @RobinhoodApp Executive Chairman and Co-Founder @HarmonicMath
Joined June 2012
There was a time when you couldn't trade stocks on your phone. Imagine explaining to someone in 2035 that back in 2025, markets closed on weekends and holidays. Tokenization will unlock 24/7 markets, and once people experience it, they'll never go back. It's the same story
599
583
6K
Aristotle has learned to code
Beyond math: Aristotle achieves SOTA 96.8% proof generation on VERINA: Benchmarking Verifiable Code Generation. You can read more about this performance on our engineering blog linked in bio
15
9
146
Wow, so useful! It can repair any broken glass in just seconds! Get your today!
0
166
1K
It’s almost time to choose. Tune in on 12/16.
The choice is yours. Robinhood Presents: YES/NO on 12/16 at 6:00pm PT/9:00pm ET on RobinhoodApp X, YouTube, and in-app.
46
30
474
Welcome to @RobinhoodApp to all the $TSLA shareholders who transferred more than $1.4B to Robinhood, with an average account size of over $500k. Clear signal that people want choice, speed, and innovative tools that help them make their voices heard.
You voted. We’re shipping. Get an uncapped 2% bonus on taxable and retirement transfers into Robinhood for portfolios with at least 1 TSLA whole share. Offer ends 11/19. Terms and limitations apply.
209
216
4K
Make IPOs Great Again
51
51
1K
Keep your cat or small dog comfy and secure with a soft, semi-enclosed pet nest designed for year-round coziness.
7
33
302
This will change the world
$6.25 billion. 25 million children. $250 each. Susan and I believe the smartest investment we can make is in children. That’s why we’re so excited to contribute $6.25 billion from our charitable funds to help 25 million children start building a strong financial foundation
230
164
5K
@AcerFur also independently resolved Erdos 481 by hand, before attempting with Aristotle. Congrats! You dropped this 👑
2
2
56
Another one bites the dust! Last night, @AcerFur used Aristotle from @HarmonicMath to autonomously prove in @leanprover Erdos Problem #481, which had been open for over 45 years. A systematic approach targeting all unsolved Erdos problems is in the works.
26
54
615
Some will say that it's merely putting a few disparate ideas together, but much of what we consider "new knowledge" is exactly this. Equivalent to the moon landing is very generous. The team @HarmonicMath is cranking to make it better and better.
AI created new knowledge. It's equivalent to landing on the Moon. Erdos problem #124 was open for 30 years. Solved 100% with a specialized AI system called Aristotle from @HarmonicMath. AGI/ASI is not needed to change the world. Current LLMs are enough to change everything.
23
30
288
Just like stepping on clouds with our Cashmere Slipper Home Socks! Perfect for chilly days around the house. Your new best friend for staying warm and stylish. Get Your Today!
0
99
1K
Many of us intuitively feel that the field of mathematics is going to change, so let's unpack the likely outcomes, without resorting to hyperbole or doomerism.
9
28
258
I think our definition of mathematics will fundamentally change. Mathematicians used to spend their time solving complex equations, and automation freed them up to do more abstract creative work. But despite all the advances in computers, communications, and AI, math is still
whoa. very nice and well done. i’m curious how these tools will push young mathematicians and math. part of the necessary pain in studying math is reflecting painfully on a proof you may never solve but the exercise is good for developing structure and intuition.
69
71
1K
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences
256
656
5K
Crack eggs like a pro with the Egg Shell Opener! Perfect for soft or hard-boiled eggs, this handy tool makes breakfast easier than ever.
14
357
4K
LedgerX stands out because it spent over a decade doing the hard things right. Over a decade ago, their team set out to build an institutional grade venue for bitcoin options and swaps in the U.S. They built through the noise of every market cycle and earned the licenses
38
50
797
Onward 🚀
We’re excited to announce our $120M Series C as we accelerate the development and commercialization of Mathematical Superintelligence. We’re grateful to our investors, including @ribbitcapital and @EmCollective, for their continued partnership.
31
13
358
This raise comes off the back of hard work, but I don’t consider funding announcements as victory laps - really we just borrowed $120M. OTOH, this is an A team that just got a lot more leveraged. We’re hiring - if you want to take a shot at mathematical superintelligence, DM me!
Congratulations to @HarmonicMath on their $1.45B valuation! Their approach of requiring AI to "output reasoning as [Lean] code instead of reasoning as English" is exactly the type of effort the @VentureBeat highlighted this week when it stated "Lean4 adds a layer of trust on top
15
11
206
Robinhood is building the future of prediction markets.
Robinhood is introducing a new futures and derivatives exchange and clearinghouse, deepening our investment in Prediction Markets and better positioning us to deliver innovative products to our customers. More in our newsroom: https://t.co/Hqv6EMXZiD
111
64
1K
APOL1 Genetic Testing at No Cost to Patients! Are you incorporating APOL1 genetic testing into your workflow? Discover No-Cost APOL1 Genotyping Program for eligible patients sponsored by Vertex Pharmaceuticals. Learn more today!
17
36
191
Does this make us the Lean Startup?
Congratulations to @HarmonicMath on their $1.45B valuation! Their approach of requiring AI to "output reasoning as [Lean] code instead of reasoning as English" is exactly the type of effort the @VentureBeat highlighted this week when it stated "Lean4 adds a layer of trust on top
19
10
246
Mathematical superintelligence is coming faster than predicted.
Vlad Tenev has now helped to start 2 separate BILLION DOLLAR companies Harmonic just raised $120M at a $1.45B valuation
58
55
1K