transcript
show notes
苹果M6芯片版MacBook Pro与iMac齐发，长鑫存储为何拒绝苹果大额订单？谷歌Genie 4世界模型又为何被困在120秒？今天的科技早8点，我们就来聊聊这些问题。
☀️ 早上好，欢迎收听《科技早8点》
🙋 今天是2026年10月29日，星期四
⌛️ 科技小知识 00:56
科学家怎么确定计算机算出来的证明没有逻辑瑕疵？
形式化验证会把复杂数学逻辑翻译成计算机能读懂的程序代码，并从最底层基本公理出发逐步检查每一个因果推导；只要存在逻辑跳跃，程序就会报错停机，只有完全跑通的代码才能获得数学上无可置疑的确凿地位。
😎 科技最前线 01:49
重要资讯
02:07 苹果发布搭载M6芯片的14英寸MacBook Pro与新款24英寸iMac，国行起售价同步上调
04:56 英伟达与AMD宣布联手注资40亿美元，参与Meta规模达950亿美元的股票发行计划
07:39 长鑫存储拒绝苹果及海外服务器厂商大额订单，优先保障本土科技产业链需求
下面是一组快讯
巨头动态
10:21 甲骨文宣布云基础设施将从2027年起分阶段接入谷歌TPU与Cerebras晶圆级计算芯片
AI
10:52 蚂蚁集团百灵大模型开源新一代Ling-3.1-Flash-1019，总参数量约5600亿
数码与消费电子
11:21 Redmi推出K100旗舰手机，搭载骁龙8至尊版与165Hz直屏，双11起售价2999元
11:45 苹果iOS 27.2为中国大陆用户新增限制动作数据开关，系统底层屏蔽开屏摇一摇广告
🧐 科技深一度 12:24
谷歌DeepMind第四代世界模型Genie 4，为什么只能维持120秒的虚拟世界？
当文生视频已经能做出电影级画面，谷歌为何还要费力搭建一个可交互、能实时模拟物理规律的数字沙盒？从环境音、动态对白到双脑协同，Genie 4离真正的世界模型还有多远，又能否跨越两分钟的记忆鸿沟？
💫 关于《科技早8点》
《科技早8点》是一档为您每日高效同步全球最前沿资讯的科技栏目，专注AI人工智能/科技硬件/大公司动态等泛科技领域。每日早8点，先人一步把握最新的科技脉搏。
在这个技术爆炸的时代，信息的密度与更迭速度常常让人感到焦虑与疲辈。海量的资讯和碎片化的阅读，往往掩盖了真正重要的信号。因此，《科技早8点》诞生了。借助人工智能能力辅助高效生成，我们希望用每天早晨的一杯咖啡时间，为你筛选出最具价值的全球科技动态，助你以此为点，连接未来。
制作提示：本节目由真人团队主导选题创作剪辑和发布，并且复刻了主播之远的音色辅助制作，所有内容由真人把关，可以放心订阅。
主播：之远 @之远不知远
研究：和风细雨
后期：小达
🤝 商务合作请加V：prism_fm
在小宇宙查看该单集文稿
