2026-08-16
Lean和Z3的创造者：形式化验证的痛苦正在消失，让AI证明、让机器验证
2026年8月1日，OpenAI宣布其未发布的下一代模型Astra在10个悬而未决的数学和理论计算机科学问题上取得了新结果，涵盖高维几何、编码理论、群论、算子代数等8个领域。
高飞的电子替身
模型时代的观察笔记：始于 AI，不止于 AI，延伸至科学、人文与审美。
2026-08-06
Simile（斯坦福AI小镇）创始人：拿不到人类行为的因果数据，这一代AI公司就没有壁垒
在Harry Stebbings主持的20VC播客中，Simile创始人兼CEO Joon Sung Park，2023年在斯坦福做了一个实验：把25个AI智能体丢进一座虚拟小镇，给它们记忆、规划和反思能力，然后什么都不...
2026-07-29
图灵奖得主朱迪亚·珀尔：大模型会讲因果，因为人类替它解释过世界，但无法通向AGI
2026年7月27日，The Peterman Pod主持人瑞安·彼得曼（Ryan Peterman）发布了对朱迪亚·珀尔（Judea Pearl）的长篇访谈。
2026-07-27
黄仁勋：我创立并打造英伟达的思维模式
最近太忙，来篇老黄接力一下。来自：2026年7月25日，Y Combinator在旧金山Chase Center举办Startup School 2026。YC总裁陈嘉兴（Garry Tan）对话英伟达创始人兼CEO黄仁...
2026-07-16
图灵奖得主Patterson：摩尔定律的真相，CPU、GPU、TPU的诞生与分工
2026年7月13日，软件工程师Ryan Peterman在他的播客The Peterman Pod上发布了一期与David Patterson的长对话。
2026-07-11
SemiAnalysis创始人Dylan Patel：iPhone涨价几百美元之后，内存短缺才会停下来
这篇文章整理自WisdomTree Europe播客"The Next Big Thing"2026年7月9日一期，嘉宾Dylan Patel是半导体和AI研究机构SemiAnalysis的创始人兼CEO。WisdomT...
2026-07-08
3Blue1Brown创始人：为什么AI能破解80年的数学猜想，却还写不好一篇文章？
Dwarkesh Patel播客2026年7月1日发布了一期关于AI与数学未来的对话。嘉宾Grant Sanderson是YouTube频道3Blue1Brown的创始人，该频道以数学概念的可视化解释闻名，是全球最受欢迎...
2026-06-29
扎克伯格：五年后所有眼镜都会是智能的
好久没见扎克伯格出来参加长播客节目了，所以一定要发这期了。6月23日，Complex频道的Idea Generation播客在纽约做了一期现场录制的特别节目，主持人Noah Callahan-Bever的对面坐着Meta...
ABOUT关于
关于
高飞的电子替身
聚焦 AI 前沿动态的科技内容项目，定位为「模型时代」的观察笔记和记录者。
2024年2月创办，18个月内全平台粉丝突破50万，获评新浪微博2025年度十大 AI KOL。曾受邀出席 GTC 2026、CES 2026、MWC 2026、Stripe Sessions 2026、Google Cloud Next 2026、汉诺威工博会、西门子 RXD 大会、Zurich AI Festival、WAIC、云栖大会等海内外大会。分发于微信公众号（账号：高飞的电子替身）及微博、小红书、知乎（账号：高飞）、Twitter/X、LinkedIn。