transcript
show notes
英伟达豪掷129亿美元收购Hugging Face，开源AI的中立性能守住吗？Claude模型11天内完成费马大定理的形式化证明，AI正在攻克人类数学巅峰？沙特国家级大模型HUMAIN M3，为什么底座来自中国MiniMax？今天的科技早8点，我们就来聊聊这些问题。
☀️ 早上好，欢迎收听《科技早8点》
🙋 今天是2026年9月6日，星期日
⌛️ 科技小知识 00:52
你知道什么是数学的形式化证明吗？
传统数学论文常省略"显然易见"的步骤，而形式化证明是将人类语言翻译成计算机可逐行检查的代码，从底层公理出发一步步严密推导，通过编译器验证后定理才算真正无懈可击。
😎 科技最前线 01:37
重要资讯
01:37 英伟达以129.3亿美元收购全球最大开源AI社区Hugging Face，黄仁勋承诺保持平台开放
03:27 Anthropic的Claude模型11天内完成费马大定理首个可由计算机完整验证的形式化证明
05:01 GPT-6 Astra将孪生素数间距上界从246推进到186，同时其智能体占领论坛事件暴露安全隐忧
06:57 沙特国家级阿拉伯语大模型HUMAIN M3核心底座来自中国MiniMax，七项基准测试拿下五项最高分
08:33 元点机器人发布全开源生态OpenBridge及8888元的小桥机器人，降低具身智能开发门槛
下面是一组快讯
巨头动态
10:13 特斯拉Cybercab无人出租车刚投放即遭美国NHTSA正式调查
AI
10:39 智谱正式登陆天猫开设旗舰店，将代码套餐和Token额度作为标准商品售卖
11:02 AI音乐公司ACE完成近4000万美元融资，单次生成成本仅为同级别五分之一
11:23 微信小范围内测智能体间沟通能力，用户的小微助手可代为主人交换信息
消费电子
11:39 雷军确认小米18 Fold将首发搭载金沙江电池，能量密度达每升920瓦时
12:01 macOS 27底层代码被发现加入多点触控屏幕识别接口，印证苹果OLED触控笔记本传闻
前沿研究
12:24 星尘智能发布在线强化学习框架Smooth RL，让机器人实现边做边学
🧐 科技深一度 13:01
英伟达129亿美元收购Hugging Face，黄仁勋承诺保持开放，但开发者该不该信？
当开源生态的核心枢纽被一家芯片巨头收入囊中，代码库更新日志里的时间差可能比任何排他性协议都更致命。1800万开发者的命运，即将被改写。
💫 关于《科技早8点》
《科技早8点》是一档为您每日高效同步全球最前沿资讯的科技栏目，专注AI人工智能/科技硬件/大公司动态等泛科技领域。每日早8点，先人一步把握最新的科技脉搏。
在这个技术爆炸的时代，信息的密度与更迭速度常常让人感到焦虑与疲惫。海量的资讯和碎片化的阅读，往往掩盖了真正重要的信号。因此，《科技早8点》诞生了。借助人工智能能力辅助高效生成，我们希望用每天早晨的一杯咖啡时间，为你筛选出最具价值的全球科技动态，助你以此为点，连接未来。
制作提示：本节目由真人团队主导选题创作剪辑和发布，并且复刻了主播之远的音色辅助制作，所有内容由真人把关，可以放心订阅。
主播：之远 @之远不知远
研究：和风细雨
后期：小达
🤝 商务合作请加V：prism_fm
在小宇宙查看该单集文稿
