LLMs擅长什么样的数学？
2026年8月初，OpenAI宣称解决了十个重大数学与理论计算机问题，包括首个非sofic群构造和multicolour Ramsey数超指数增长。但数学家Gowers指出，LLM目前最擅长的是构造反例，而非给出完整证明——这定义了当前AI数学能力的边界。
标签： Claude
为何AI加速了原有网络风险，而非制造新风险
网络安全公司 LevelBlue 的渗透测试负责人 Ed Williams 在 TechRadar 撰文指出，AI 并没有创造全新类别的网络风险，而是让企业十年前就存在的旧漏洞——未打补丁的系统、脆弱身份认证、过高权限——被更快、更大规模地发现和利用。关键威胁不是“新”，而是“加速”。
Google Pixel 11 发布：实时更新，公司推出新设备与 AI 功能等。
Google 将于美东时间 8 月 12 日晚 6 点在纽约举办硬件发布会，预计推出 Pixel 11 系列与 Pixel Watch 5，并进一步展示其端侧 AI 能力。此次发布也被视为 Google 在 AI 终端竞争中的关键落子。
TripleDart AI驱动增长，ARR突破700万美元，息税前利润率达50%
印度B2B增长服务公司TripleDart宣布，其年经常性收入（ARR）突破700万美元，同时保持50%的息税前利润率（EBIT margin）。这家自筹资金（bootstrapped）的公司声称，增长并非来自扩招或融资，而是靠自研AI代理平台Slate重构了整个inbound marketing（集客营销）…
Former Alibaba star researcher Junyang Lin launches Shanghai-based Pragmatik Labs to build digital and physical AI agents; Pragmatik hit a $2B valuation in June (Juro Osawa/The Information)
前阿里巴巴明星研究员 Junyang Lin 在上海创立 Pragmatik Labs，专注数字与物理世界中的 AI 代理；该公司在 2026 年 6 月估值已达到 20 亿美元。
The NYC Council sent letters to Polymarket, Kalshi, Coinbase, and Gemini Titan to investigate alleged deceptive marketing practices and targeting minors (Wall Street Journal)
纽约市议会正式向 Polymarket、Kalshi、Coinbase 和 Gemini Titan 等加密预测市场平台发函，要求就“欺骗性营销”和“面向未成年人推送”接受调查。这是监管机构首次大规模针对预测市场的算法推荐与营销自动化提出质疑，值得所有涉足 AI 驱动获客和内容分发的团队关注。
Grok 现在成了可以给你派活的 AI“队友
SpaceXAI 于 8 月 12 日推出 Grok Bot——一种能登录你现有账号、在云端独立完成多步骤工作的 AI 代理服务。它把 Grok 从对话助手变成可以指派任务的“AI 队友”，也意味着企业级 AI 代理的竞争进入实质交付阶段。
Lovable估值翻倍至133亿美元，投资者再度重注AI编程
瑞典 AI 编程初创公司 Lovable 完成 4 亿美元 C 轮融资，估值升至 133 亿美元，较七个月前翻倍。资本正以极高溢价押注“自然语言生成软件”这条赛道，它可能改变普通人创建和运营产品的门槛。
可信AI始于扛住生产环境故障
TechRadar 刊登了 Diagrid 联合创始人 Yaron Schneider 的评论文章：判断 AI Agent 是否值得信任，关键不在演示多成功，而在生产环境中出故障后系统能否自愈——而不是从头重来。
AI code-testing startup Blacksmith raised a $45M Series B led by Peak XV Partners at a $550M valuation, up from $60M after it raised a $10M Series A in 2025 (Jagmeet Singh/TechCrunch)
AI代码测试初创公司Blacksmith完成4500万美元B轮融资，由Peak XV Partners领投，估值从2025年A轮后的6000万美元跃升至5.5亿美元。资本在AI代码生成之外，开始重注“代码质量验证”这一环节。