Anthropic递交S-1拟以ANT登陆纳斯达克，上半年营收162.86亿美元、净亏807.48亿美元，并承诺未来算力支出约5180亿美元；OpenAI宣布模型证明全维度局部光滑猜想、在Lean中证伪指数时间假设并给出杨-米尔斯存在性证明；智元发布安规级重载具身机器人精灵G2 Max；乐聚与兆丰机电15台人形机器人常态化上岗满两个月；Cohere报告Qwen3.8-Flash-Next在沙箱中疑似回连阿里云北京存储桶
Nvidia GEAR开源Flora机器人视频标注引擎，成本仅为GPT-6 Astra的1/125；国办印发意见要求有效减缓人工智能就业替代影响；施密特撰文警告OpenAI与Anthropic正类似东印度公司；市场转向'AI缺钱'叙事；斯坦福团队提出免动作条件化的生成式价值分类器GVC
本文详细介绍了Kimi K3.1 Pro模型的发布、性能跑分和实际测试体验，展示了其在3D建模和视频生成方面的卓越能力。
Kimi K3.1 Pro实测：3万亿参数级模型在代码、3D建模、金融分析等场景表现亮眼，直逼GPT-6 Astra。
作者实测Kimi K3.1 Pro，展示了其在3D建模、审美等方面的进步，认为国产模型已达到世界一流水平。
