Rahim Iqbal
I'm a product manager and researcher working at the intersection of AI and science. I believe the next five years will produce more mathematical breakthroughs than all previous years combined.
I've built products at Amazon, Tesla, Paradigm Hyperloop, and Rolu Labs.
I'm grateful to be supported by Worldcoin Foundation and DLI Ventures.
About me
My background is a mix of product work, hardware engineering, and a long-running curiosity about physics and intelligence. Over time, I've gravitated towards problems where software, verification, and careful reasoning actually change what people can discover or build.
I keep coming back to the same questions: How do we check whether something is true? How do we make complicated systems easier to reason about? And how do better tools change the pace of science and engineering?
I like serious projects that still feel a little weird. I usually have tabs open on black holes (Kerr geometry), BCI research, and small internet products at the same time.
Outside of work, I'm currently thinking about building communities and skiing.
Projects:
Press on them for more details!
OpenAtoms - Feb 2026
A reproducibility layer for AI-driven science and empirical research loops.
KerrFormalization - Mar 2026
Machine-checked Kerr and Schwarzschild spacetime geometry in Lean.
Hardware Security Assertions - Feb 2026
Work on using language models to surface missing security assertions in chip RTL.
Thoughts and ideas
Press on them for more details!
Stop Fumbling Conjectures
A framework for generating better questions, not just better answers.
Finding What’s Missing
Why language models can be useful for hardware security when the real problem is noticing what is absent.
The Verification Bottleneck
Why better language models could improve non-invasive brain-computer interfaces through verification.
Aggregation Theory
Why aggregators win digital markets by owning demand rather than controlling supply.
Pace Layers
A lens for how durable systems evolve at different speeds and stay resilient through that mismatch.
A from scratch tour of Bitcoin in Python
A clear, from-first-principles walk through Bitcoin by implementing the core ideas in Python.
How to Understand Things
A thoughtful guide to building real understanding through models, compression, and prediction.
Putting Ideas into Words
Writing as a way to discover what you actually think by forcing vague intuitions into clear language.