数学与理论计算机十大突破：Anthropic用Claude发现密码学弱点
数学与理论计算机十大突破：Anthropic用Claude发现密码学弱点
Simon Willison盘点数学与理论计算机领域的十大进展，其中引人注目的是Anthropic利用Claude（基于Mythos Preview模型）进行密码学弱点发现研究。该项目花费10万美元的token费用，提示词明确要求“不要找低垂的果实，要做真正的探索研究”。这表明Claude在复杂科研任务中具备独立发现问题的能力，也展示了AI在数学研究中的潜力。
DeepSeek V4-Flash 0731发布，AI圈平静一天的唯一亮点
在AI新闻相对平静的一天里，DeepSeek发布了V4-Flash 0731版本，成为当日唯一的重要更新。该模型是DeepSeek V4系列的最新迭代，具体技术细节和性能提升尚未公布。对于关注国产大模型进展的开发者而言，这是一个值得关注的版本，可能带来推理速度或成本上的优化。
OpenAI员工把ChatGPT接入Slack，同事却反感被AI求助
OpenAI联合创始人Greg Brockman透露，不少OpenAI员工将ChatGPT接入Slack工作流。但同事普遍反感收到来自ChatGPT的任务求助，即使同样的事情由真人同事提出，他们很乐意帮忙。Brockman认为，这凸显了人际关系的不可替代性——人们在意请求来自真实的人，而非AI。这一观察对AI协作工具的设计有启发意义。
datasette-apps 0.2a0发布：新增应用调试与列表工具
Simon Willison发布datasette-apps 0.2a0，主要改进围绕Datasette Agent的使用体验：新增appdebug()工具，允许代理在后台隐形打开应用并通过JavaScript进行测试；新增applist()工具，可列出用户有编辑权限的所有应用，方便代理直接编辑。这两个工具让AI代理能更高效地操作Datasette应用。
OpenClaw发布2026.7.2-beta.7，多项版本更新同步上线
OpenClaw发布2026.7.2-beta.7版本，同步更新了多个release-publish分支（eb8c22ed13f9、728084497329、deffca656500、7c9794b5c65c）及beta.6版本。本次更新主要针对release tooling进行优化，属于常规版本迭代。开发者可升级获取最新工具链改进。