OpenAI声称其AI系统在数学领域证明了指数时间假设（ETH）为假，该假设是计算复杂度理论的基石，若成立将使大量依赖ETH的研究失去基础。在计算机科学方面，OpenAI称证明了布尔可满足性问题（SAT）的求解速度可超越指数增长，该结果与P versus NP问题密切相关。
推荐理由OpenAI声称在数学、计算机科学和物理三个领域取得重大突破，分别证明了指数时间假设错误、SAT问题可解性以及量子场论在四维的存在性，若属实将对相关理论基础产生深远影响。
Modal CEO 解释 AI 算力需求呈非矩形波动，通过汇聚跨千计客户的需求并提供弹性沙箱来解决。沙箱现占 Modal 近三分之一收入，主要得益于 2023 年语言模型代码生成能力提升。公司通过自研文件系统、进程检查点和 GPU 内存快照实现快速沙箱启动，并计划向训练、后训练等更多产品扩展。
推荐理由原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。
Chris White从学术研究转向现场技术操作，再到开发暗网搜索工具打击人口贩卖。他在阿富汗利用AI和先进技术保护士兵，后在DARPA开发Memex工具连接网络关联证据，协助纽约市警方将人口贩卖案件起诉提升10倍。他强调问题选择的重要性，认为技术服务社会需在‘对的时间、对的地点、对的人’中寻找平衡，并保持在‘做出改变的光’中面对黑暗。
推荐理由Chris White从学术研究转向现场技术操作，再到开发暗网搜索工具打击人口贩卖，其经历展示了技术服务社会问题的全链路路径，读者可获得关于科研人员如何在极端环境中寻找使命感的独特视角。
Amazon Bedrock 现已提供 SpaceXAI 的 Grok 4.7 模型，支持可配置的推理力度、工具调用和结构化输出。实测三类需要搜索而非直接查找的任务（两服务故障诊断、四夜维护排程、预算内迁移选型），在 xhigh 力度下全部 18 轮答对，low 力度下仅 15 轮答对但仅使用约 1/8 输出 token。
推荐理由原文展示了在 Amazon Bedrock 上使用 Grok 4.7 构建长周期智能体的实测结果，提供了推理力度与正确率、token 成本的实测数据对比，读者可据此评估在实际任务中如何平衡推理深度与成本。
Mistral 与 HUMAIN 宣布战略合作，旨在推进中东地区主权 AI。双方将在 AI 基础设施、模型开发及解决方案部署方面合作，重点聚焦网络安全和语音等领域，并开发针对 Arabic 的前沿模型。
推荐理由原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。