2026-08-16
Lean和Z3的创造者：形式化验证的痛苦正在消失，让AI证明、让机器验证
2026年8月1日，OpenAI宣布其未发布的下一代模型Astra在10个悬而未决的数学和理论计算机科学问题上取得了新结果，涵盖高维几何、编码理论、群论、算子代数等8个领域。
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-03
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...
2026-06-27
大模型的瓶颈已经不是智力，而是记忆。接下来，要把知识训进权重？
最近对数据问题比较在意，所以可能多发一些相关内容。这是2026年6月24日，Sequoia Capital的播客栏目Training Data发布了最新一期节目笔记。
2026-04-25
Google Cloud Next 2026 见闻：每个开发者都有机会成为10倍速开发者
这几天一直在Google Cloud Next 2026，除了Keynote之外，其实很重要的一个行动，就是去各种Session听讲，去展区观光，以及和不同行业、不同地区的开发者聊天。因为在这个AI技术变革的时代，确实有...
2026-04-23
1800亿美元和五层蓝图：Google Cloud要把Agent变成企业操作系统
2026年4月22日，拉斯维加斯Mandalay Bay。Google Cloud CEO Thomas Kurian在今天Cloud Next大会主舞台的Keynote开场就为当下的AI走势做了一个定性：AI落地已经走...
2026-04-21
John Ternus：我们从不发布一种技术，而是交付一种体验｜苹果新CEO的产品哲学
2026年4月20日，苹果宣布John Ternus将于9月1日接替Tim Cook出任CEO。Tim Cook转任执行董事长。不过就像苹果一贯的风格，Ternus对外接受采访甚少，折腾了半天，才通过整合几个素材，拼凑出...
2026-04-19
Cerebras创始人：十年前听不懂OpenAI说的AGI，但选择相信，然后造出史上最大的AI芯片
2026年4月17日，Cerebras Systems向美国证监会（SEC）公开提交IPO申请，拟在纳斯达克以代码CBRS上市。根据S-1文件，公司2025年全年营收5.1亿美元，净利润8790万美元，彻底扭转了上一年2...
2026-04-16
文本LLM早就过了图灵测试，为什么语音AI还没过？ElevenLabs创始人的回答
我问过一些朋友为什么用豆包比别的App多。一个常见的答案是语音交互做的比较好。所以虽然从生产力角度，文本编码是token生成的主力，但是如果要让AI融入社会更多角落，语音AI其实是一个重点。我还记得当年第一次听到Siri...
2026-04-15
量子计算机最难的那一关可能被AI搞定？英伟达在世界量子日发布的Ising到底是什么？
2026年4月14日，是世界量子日。我当然也没记着，是刷了Google首页看Logo才知道的。所以就额外关注了量子相关新闻。结果就看到：NVIDIA在当天发布了Ising，世界上第一个专门面向量子计算工作负载的开源AI模...
