Here for the experience. Meditation & self-inquiry, AI, entrepreneurship & investing, cute dogs and babies.

San Francisco, CA
Joined March 2007
A startup is not a company: it's an experiment to see if a company deserves to exist. Until p/m-fit, speed of hypothesis testing trumps everything. Startups die when they spend faster than they learn.
31
482
50
1,782
Yan-David (Yanda) Erlich retweeted
I was brought to tears on Sunday when the last milestone cleared. My father, a mathematician who passed in Jan, introduced me to the giants of group theory as a kid. The Classification of Finite Simple Groups (CFSG) defined my 80s college years. I can't believe I somehow got to be part of this human achievement. CFSG formalized in Lean. @leanprover
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.
8
19
2
131
7,418
The humans & AIs at @axiommathai keeps pushing the frontier of AI math: this time with the full auto-formalization of CFSG: an enormous proof! The era of AI mathematicians is here. 🥰🚀
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.
1
3
6
454
Really wish @Yubico made a metal-cased 2fa key. Love the product, but the plastic casing frays so quickly.
326
I forgot how much I prefer TouchID to FaceID (except when snowboarding). So glad to be back to Touch. 🥰
3
8
1,385
The iPhone Duo feels magical. Only complaints so far is (1) it’s heavy and (2) most apps aren’t ready for it yet. TouchID is totally fine. Both inner & outer screens are rad. Loving it.
5
1
22
3,823
Yan-David (Yanda) Erlich retweeted
You've heard them say "Watch your thoughts like clouds passing." My dear! It is all clouds. The thoughts. The feelings about thoughts. The watcher. That which is aware of the watcher. The emptiness in which everything arises. All clouds passing by at different speeds.
11
6
2
222
6,044
Yan-David (Yanda) Erlich retweeted
Most company politics are rooted in fear. I call this the Fear Triangle. When fear shows up, people tend to move into one of three roles: savior, bully, or victim.
2
4
95
4,085
The recent tiffs among the meditation community on here give me comfort that beings much further ahead on the pathless path still, at least occasionally, get captured by judging/comparing/fixing mind. This human life is quite the adventure. 🥰 May all beings be at peace
9
397
A little late to this meme but 🥰 @maticrobots @Tesla with love from Wizzy & Sequel
2
10
884
Yan-David (Yanda) Erlich retweeted
A few years ago, my wife and I were sitting together at the end of a long retreat. We were talking about an investment we passed on years ago, one that would have made us rich enough to never start @artofaccomp. Then I asked her a question out of curiosity:
6
2
2
130
60,824
Yan-David (Yanda) Erlich retweeted
We are inspired! (because we also suck well)
112
69
49
1,978
130,784
Yan-David (Yanda) Erlich retweeted
Replying to @Apple
@Apple @Tesla hear me out!
🤖 Made with AI
34
13
6
350
18,217
Yan-David (Yanda) Erlich retweeted
Very happy to see this from Nick!
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works already-clean.goodfire.com/
244
145
21
3,769
805,322
How did folks fare in the iPhone Duo purchase frenzy:
50%October delivery
42%November
8%December
12 votes • Final results
1
397
I’m excited for political spam season to be over.
5
335
The crew at @axiommathai continues to push the frontier of AI-enabled math discoveries. This is a huge one.
Axiom Proved The Quasi Riemann Hypothesis (Generalized) For All Dedekind Zeta Functions
1
8
583
Yan-David (Yanda) Erlich retweeted
Check out this preprint by Cureton and Thorner using AxiomProver: hexagonmath.org/2610.00200v1 github.com/AxiomMath/Dedekin…
Some fascinating developments following OpenAI's shock breakthrough proof of the Quasi-Riemann Hypothesis, which was released publicly on October 6: 1. Building on OpenAI's proof, a recent Hexagon preprint (released on October 12) by Cureton and Thorner establishes that ALL finite-order Hecke L-functions are zero-free to the right of 1 - 1/6000. 2. And now, today, an arXiv preprint by Frei, Somos and Widmer uses this result to prove unconditionally the 2007 Ellenberg–Venkatesh bounds on ℓ-torsion in class groups of number fields. I was amused to see the AI declaration in the second paper: "No artificial intelligence tools were used in this work."
2
7
35
3,542
Yan-David (Yanda) Erlich retweeted
we're on the cusp of huge breakthroughs in interpretability - this is the science we must understand, and I think we're going to be able to do it
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works already-clean.goodfire.com/
1
2
65
2,266
Yan-David (Yanda) Erlich retweeted
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works already-clean.goodfire.com/
885
2,634
1,442
19,828
4,551,176