Podcasts · 科技早8点

9月6日 周日. 「英伟达」收购Hugging Face/Claude证明费马大定理/「沙特」用中国MiniMax

5 Sep 2026 · 17 min

英伟达豪掷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

在小宇宙查看该单集文稿

Links in the notes 1

• https://oia.xiaoyuzhoufm.com/player/6a9c39e8a0210c197dce05bb?openTranscript=true&utm_source=rss&as=cHQ9MTIyNjE5MjQ3JmN0PXJzcyZtdD04&autoOpen=false

The episode on the publisher’s site ↗ (opens in a new tab)