Entrepreneurial Thought Leaders (ETL)
Stanford eCorner
3 episodes
Carina Hong (Axiom) - The Frontier of AI for Math
4 Nov · 47 min
- Axiom Math has raised over $260m from investors including Menlo Ventures to build a self-improving superintelligent reasoner starting with an AI mathematician.
- Axiom has formalized the classification of finite simple groups into over 50m lines of Lean, now larger than Linux.
Michael Bernstein (Simile) - The Future of AI Simulation
28 Oct · 48 min
- Michael Bernstein, Stanford professor and Simile cofounder, says products must show users they are superpowers rather than replacements, citing Doug Engelbart's intelligence augmentation.
- Simile, which has raised over $300m from Index and Bain Capital, says its bespoke data gives it a durable moat that a thin API wrapper lacks.
Brendan Foody (Mercor) - Agentic Data and the Future of AI
15 Apr · 47 min
- Mercor, a recruiting startup matching skilled professionals with AI labs, was valued at $10bn by private investors and reached over $1bn in run rate in twenty months.
- Brendan Foody says Mercor shifted from hiring tool to agentic data after a chance meeting with Sean at OpenAI, recruiting bankers, lawyers and doctors to write rubrics that score model behavior.