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

英伟达豪掷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，七项基准测试拿下五项最高分