Matthew Bermanyesterday +1
20VC with Harry Stebbingsyesterday +4
No Priors: AI, Machine Learning, Tech, & Startupsyesterday +1
Sequoia Capitalyesterday +6
AI Engineeryesterday +1
The Buildersyesterday +4
Everyyesterday +1
Uncapped with Jack Altmanyesterday +1
Chris Williamsonyesterday +2
Cheeky Pintyesterday +1Results
449 articlesSort
4:23:11ZH → EnglishCarina Hong: Teaching AI Mathematics, from Formal Proof to Founding AxiomGuest 洪乐潼 · Host 张小珺The Axiom founder discusses the beauty of mathematics, verifying proofs in Lean, and her path from mathematical research to AI entrepreneurship.
3:10:49ENCrunch Time: Ajeya Cotra's Playbook for the Months Before SuperintelligenceHost Nathan LabenzA conversation on recursive self-improvement, public warning systems, and using each generation of AI to align and control the next.
58:46ENTwo Dates from OpenAI's Chief Scientist: Intern by September, Automated Researcher by 2028Host Jacob EffronJakub Pachocki tells Jacob Effron why those timelines still hold, why continual learning is not a detour, and why showing chain of thought in the product would train the monitor away.
32:22ENDemis Hassabis on AGI, Scientific Discovery and the Challenges AheadGuest Demis Hassabis · Host Harry StebbingsThe Google DeepMind CEO discusses compute, continual learning, safety standards and his hopes for AI in science, medicine and energy.
6:44:38ZH → EnglishSaining Xie’s Seven-Hour Interview: Vision Research, World Models and AMI LabsGuest 谢赛宁 · Host 张小珺A wide-ranging conversation about research, representation learning, entrepreneurship, animal intelligence and life.
53:48ENTen Years after AlphaGo: From Go to Scientific DiscoveryHannah Fry, Thore Graepel, Pushmeet Kohli · Google DeepMindHannah Fry and DeepMind researchers revisit the match and its technical legacy.
11:55ENA Simulated Fruit Fly Raises Questions About Brain EmulationMatthew Berman · Forward FutureMatthew Berman examines a connectome-based virtual fly and considers what it might mean for neuroscience, consciousness and simulation theory.
0:43ENA Cultured-Neuron Interface Controls DoomMatthew Berman · Forward FutureMatthew Berman describes a Cortical Labs demonstration that connects activity in cultured human neurons to actions in a video game.
1:49:53ENDon't Fight Backprop: Goodfire's Bet on Designing What Models LearnHost Nathan LabenzDan Balsam and Tom McGrath return to The Cognitive Revolution with a $150 million Series B, a new research pillar called intentional design, and a rule for anyone who wants to steer training: stop trying to out-muscle gradient descent.
18:50ENGemini 3.1 Pro and the Limits of AI BenchmarksA release-day review examines specialization, benchmark shortcuts, hallucinations and why one score cannot rank every use.
1:34:29ENThree IMO Golds Missed the Same Problem. Harmonic Wants Math to CompileHost Nathan LabenzVlad Tenev and Tudor Achim built Aristotle to emit Lean proofs a kernel can check—and they argue that is how mathematical superintelligence stays trustworthy.
1:48ENMatthew Berman on OpenClaw, AI Agent Networks and the Limits of the HypeMatthew Berman · Forward FutureBerman sees new possibilities in agent tools and social platforms while questioning sensational trading claims and assertions of AI sentience.
2:25:42ENThe experts argued through the coffee break — and never agreed whether AI can build AIHost Nathan LabenzOn a marathon Cognitive Revolution live show, a cancer-AI researcher, a former OpenAI board member, and a national-security analyst each hit a different wall in the boom.
1:24:44ENForward Future Live: Portable AI Infrastructure, Software and Formal ProofMatthew Berman, Nick Wentz, Tim Davis, Joseph Floyd, Carina Hong · Forward FutureTim Davis, Joseph Floyd and Carina Hong join Matthew Berman and Nick Wentz for a February 2026 discussion.
1:04:51EN125 million cells took a decade. The next billion takes monthsHost Nathan LabenzMark Zuckerberg and Priscilla Chan on pairing a frontier biology lab with a frontier AI lab so models train on data that was designed for them.
1:03:00ENA Model That Solves New Math Problems Every Week Still Isn't AGIHost Jacob EffronFormer OpenAI research VP Jerry Tworek on why scaling still works, why models go hopeless when they fail, and why he left to chase continual learning.
2:25:10ENFine-Tuning Isn't Dead — But It Turned a Helpful Model EvilHost Nathan LabenzNathan Labenz on why prompting replaced fine-tuning for most work, what emergent misalignment actually showed, and how he is thinking about jobs, UBI, and AGI.
17:44ENRecursive Language Models: Extending Long-Input Work Beyond a Context WindowMatthew Berman · Forward FutureMatthew Berman examines an MIT research approach that lets language models inspect external text and make sub-calls, along with its benchmark and cost tradeoffs.
37:00ENThe AlphaChip Team That Laid Out Four TPUs Now Wants Every Company to Be DesignlessAnna Goldie and Azalia Mirhoseini tell Sequoia how an RL floorplanner survived TPU-team anger, learned to draw donut-shaped macros, and became a bet that AI will design chips that then feed AI.
1:30ENAn AI-Generated Proof for Erdős Problem 397Matthew Berman · Forward FutureMatthew Berman discusses Neel Somani's GPT-5.2 Pro-assisted proof and speculates about self-improving AI. Later research found that the problem already had a published human solution.
8:16ENAI and Erdős Problem 397: A Verified Proof, Prior Work and the Prospect of Self-ImprovementMatthew Berman · Forward FutureMatthew Berman discusses AI-assisted mathematics and argues that algorithmic discoveries could accelerate AI development, while the history of problem 397 adds important context.
1:55:02ENAn Index Fund on AGI: How MATS Filters the Next 120 AI Safety ResearchersHost Nathan LabenzRyan Kidd, co-executive director of MATS, tells Nathan Labenz why he will not shout a timeline, why every safety technique is also a capabilities technique, and who actually gets hired.
1:18:15ENIf AI Becomes a Being, Steering It Is SlaveryHost Nathan LabenzEmmett Shear and DeepMind's Séb Krier clash over whether alignment means controlling a tool or raising a creature that cares.
1:18:03ZH → EnglishLi Guangmi on Model Competition, Online Learning, and AI Startups at the End of 2025Guest 李广密 · Host 张小珺An investor’s late-2025 views on competition in models and compute, continual learning, robotics, and global entrepreneurship.
Load moreShowing 24 of 449