10月29日 周四. 「苹果」发布M6版MacBook Pro与iMac/「英伟达AMD」40亿美元入股Meta

科技早8点 · Oct 28, 2026 · 19m

苹果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元…