2026年6月4日科技与新闻汇总:Gemma 4「无编码器」开源、Alphabet 850 亿 AI 募资、SpaceX 千亿 IPO 定价、Uber 1500 美元/月企业 AI 限额
新闻

2026年6月4日科技与新闻汇总:Gemma 4「无编码器」开源、Alphabet 850 亿 AI 募资、SpaceX 千亿 IPO 定价、Uber 1500 美元/月企业 AI 限额

6月4日全球科技与新闻汇总:Google发布无编码器多模态Gemma 4 12B;Alphabet 850亿美元AI募资,SpaceX 135美元定价史上最大IPO;Uber 1500美元/月企业AI工具限额成早期定价信号;Suno再融4亿美元、GitHub Copilot转按token计费;OpenAI拿下80年悬案Erdős数学难题;Microsoft/Atom Computing/EeroQ同步刷新容错量子比特数;Meta允许员工每日30分钟脱离AI追踪、Trump签署AI早期访问行政令、众议院通过决议限制其对伊朗战争权。

2026年6月3日科技与新闻汇总:Agent 操作系统三方战开打、AI 资本周期遇冷、美联储鹰派降息
新闻

2026年6月3日科技与新闻汇总:Agent 操作系统三方战开打、AI 资本周期遇冷、美联储鹰派降息

当日 30 条新闻汇总:Microsoft 公开转向 Agent-First、Apple macOS 27 Tahoe + NVIDIA RTX Spark 同步应战;SpaceX 750 亿 IPO、Marvell 暴涨 32.5%、GitLab 14% 裁员、Uber 4 个月烧光 AI 工具预算,美联储释放鹰派降息信号;mRNA 个体化肿瘤疫苗 5 年随访降低 49% 复发、NHS 全国推广 CRISPR 镰状细胞病;伊朗向科威特/巴林发射导弹,2003 年以来美军在中东最大单日军事行动。

AI 攻陷了一道 80 年的数学猜想:OpenAI 模型推翻 Erdős 假设,但数学家们松了半口气
技术解读

AI 攻陷了一道 80 年的数学猜想:OpenAI 模型推翻 Erdős 假设,但数学家们松了半口气

2026 年 5 月,OpenAI 内部研究模型推翻了困扰数学家 80 年的 Erdős 单位距离猜想——它用高维投影+代数整数给出反例,n^1.014 超过 Erdős 的 n^(1+o(1)) 上限。菲尔兹奖得主 Tim Gowers 第一反应是「数学家要完了」,确认是反例后松了半口气。这不是 AI 取代数学家,而是 AI 让数学家走得更快。