Pinned Tweet
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.
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 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. 🥰🚀
Really wish @Yubico made a metal-cased 2fa key. Love the product, but the plastic casing frays so quickly.
I forgot how much I prefer TouchID to FaceID (except when snowboarding). So glad to be back to Touch. 🥰
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.
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.
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.
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
A little late to this meme but 🥰 @maticrobots @Tesla with love from Wizzy & Sequel
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:
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/
Both Panda Contacts (pandacontacts.com/) and Panda Timekeeper (pandatimekeeper.com/) are live in the Mac and iOS App Stores, and both are iPhone Duo ready. 🥰🥳
How did folks fare in the iPhone Duo purchase frenzy:
50%October delivery
42%November
8%December
12 votes • Final resultsThe crew at @axiommathai continues to push the frontier of AI-enabled math discoveries. This is a huge one.
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."
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/
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/















