GPT-5.6 证明数学猜想，Grok 4.5 获评最政治中立AI，Starship 第13次测试在即

要点速览

1. GPT-5.6 Sol Ultra 证明了50年历史的数学猜想，模型已公开可用。
2. Grok 4.5 被独立研究认定为最政治中立的AI模型，偏差值仅-0.02，同时在WANDR评测中得分最高。
3. SpaceX Starship 第13次飞行测试瞄准周四发射，将首次部署V3 Starlink卫星。
4. 后前沿时代模型竞争转向系统竞争，本地模型将成为默认入口。
5. Sam Altman 观察AI净创造就业，趋势或持续。
6. Amjad Masad 成功微调Qwen-8b模型下棋，显示ML能力大幅提升。

一、AI模型重大进展

1. GPT-5.6 Sol Ultra 证明了存在50年的数学猜想，该模型目前已公开可用，标志着AI在基础科学发现领域取得里程碑式突破。— 来源：1
2. Grok 4.5 经独立研究被认定为最政治中立的AI模型，偏差值仅为-0.02；同时在WANDR评测中得分最高，进一步巩固其性能优势。— 来源：1 2

二、AI竞争与系统演变

1. Aravind Srinivas 指出，后前沿时代模型竞争正转向系统竞争，关键要素包括路由、开放权重模型、本地计算、企业数据以及大实验室定价权的可持续性。— 来源：1
2. 人类应善于使用前沿模型作为工具，本地模型将成为大多数任务的默认入口，以最低功耗和成本运行，实现对前沿模型的有效控制与利用。— 来源：1

三、SpaceX Starship第13次飞行测试

1. SpaceX Starship第13次飞行测试瞄准周四发射，包含大量升级，将首次部署V3 Starlink卫星并测试隔热罩性能。— 来源：1 2

四、AI就业与能力提升

1. Sam Altman 观察发现，截至目前AI净创造了就业，与原本预期不同，且这一趋势可能持续。— 来源：1
2. Amjad Masad 在 Replit 上成功微调 Qwen-8b 模型玩国际象棋，并行运行3个实验分支并取得进展，显示模型进行机器学习的能力已大幅提升，有良好直觉的人即使无ML经验也能做出有趣工作。— 来源：1