GPT-5.6 Sol Ultra证明50年数学猜想，Grok 4.5获评最政治中立AI模型

要点速览

1. OpenAI的GPT-5.6 Sol Ultra证明了50年历史的数学猜想，并已公开可用。
2. Grok 4.5在独立研究中被评为最政治中立的AI模型，偏差值仅-0.02。
3. Space X Starship第13次飞行测试瞄准周四，将首次部署V3 Starlink卫星。
4. 模型竞争正转向系统竞争，关键要素包括路由、开放权重模型和本地计算。
5. 2026年超50家初创公司向大型AI实验室销售训练数据，总营收约85亿美元。
6. MuScriptor实现音乐转谱，填补类似OpenAI Whisper的音乐转写空白。

一、重大模型突破与科学进展

1. OpenAI的GPT-5.6 Sol Ultra证明了50年历史的数学猜想，该模型目前已公开可用。这一成果标志着AI在科学推理上的重大进展。— 来源：1
2. Grok 4.5在独立研究中被评为最政治中立的AI模型，偏差值仅-0.02，用户称赞其为追求真相的领导者。— 来源：1 2 3 4
3. 对比测试中，GPT-5.6 Sol Ultra无法完成比较视频制作，而Fable XHigh成功生成视频，显示不同模型在特定任务上的能力差异。— 来源：1

二、行业动态与基础设施革新

1. Space X Starship第13次飞行测试瞄准周四发射，包含大量升级，将首次部署V3 Starlink卫星并测试隔热罩。— 来源：1 2
2. Aravind Srinivas指出后前沿时代模型竞争正变成系统竞争，关键因子包括路由、开放权重模型、本地计算和企业数据，同时质疑大实验室定价权的可持续性。— 来源：1
3. 人类善于使用前沿模型作为工具，本地模型将成为大多数任务的默认入口，以最低功耗和成本运行。— 来源：1
4. 2026年7月有超过50家初创公司向大型AI实验室销售训练数据和强化学习环境，总营收约85亿美元，估值约1000亿美元；其中Scale、Surge、Mercor和Handshake四家公司占据超75%份额。— 来源：1
5. Sam Altman观察到AI净创造就业，与早前预期不同，并认为趋势可能持续。— 来源：1
6. NVIDIA在相同模型架构下性能优于AMD，且B300快于B200。— 来源：1

三、新工具、应用与开源

1. Yann LeCun关注MuScriptor，一个音乐转谱工具，可将Suno歌曲导入DAW，填补音乐转写领域的空白。— 来源：1 2
2. 有人使用Grok 4.5和Perplexity Computer构建个性化播客播放器，可按主题跨播客流式播放，成本仅11美元。— 来源：1
3. Yann LeCun重申所有基础模型都是知识模型，知识属于人类，因此应该开源。— 来源：1