今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。 最近，一篇长文震撼整个AI圈。 7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。 在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。 这篇「硅谷现行 ...

一种语言的语法和API，可以交给工具处理得越来越多。系统为何这样设计，数据怎样穿过不同服务，故障为什么会扩散，产品表现是否符合预期，这些问题仍然需要人来判断。 “会写代码和理解系统怎么运行是两回事，后者不会消失。” ...

Feign在Spring Cloud生态里统治了将近十年，几乎成了微服务间HTTP调用的代名词。但就在大家以为“声明式HTTP客户端=Feign”的时候，Spring Framework 6悄无声息地推出了一套原生的解决方案——HTTP Interface，核心注解就是@HttpExchange。 前言 最近有个小伙伴跟我吐槽，说他们团队还在用Feign，但Spring官方已经悄悄推出了一个“亲儿 ...

12日冲到600万，13日破700万，到今天15日，直接飙上800万。 然后每涨一波，官方就清零一波。 对此，已经有网友给编成了顺口溜：「一天一重置，限额远离我。」 限速高墙轰然倒塌，重置之神狂踩油门 干出这等好事的，正是Codex和ChatGPT的掌门人Tibo。 5小时的限速高墙被他一脚踹倒，用量上限如今一天一刷新，光一个周末就连重了两次。 有人一口气囤了4个待兑现的重置额度，哪怕用着最烧钱的 ...

从OpenClaw之父、如今在OpenAI主攻下一代个人智能体的Peter Steinberger，到Claude Code创造者Boris Cherny，这些硅谷大佬，正集体转向「循环」（loops）。 测试通过数、分数阈值这类可量化标准之所以好用，是因为Claude不用自己纠结「够不够好」，评估器替它判。它不必自己猜「差不多了吧」就过早停手，循环也能干净利落地收尾。

当一个模型的输出可以追溯至其所依赖的本体条目，解释便不再依赖于对神经网络内部状态的猜测，而是建立在对知识结构本身的追溯之上。这正是可解释性从「透视黑箱」向「展示知识结构」转变的工程基础——前者在技术上面临不可逾越的困难，后者则是一个可设计、可优化、可验证的工程问题。

一边，是硅谷明星机器人初创Physical Intelligence，用数亿美金算力砸出来的明星大模型π0.5。另一边，是一家中国公司，加一台随手能买到的运动相机。 数亿美金，竟输给了一台相机？ 一边，是硅谷明星机器人初创Physical ...

2026 年的大模型赛道，正在经历一场互相追赶。混元 Hy3 正式版发布，DeepSeek V4 正式版也说 7 月中旬将上线。然后是 Claude 和 ChatGPT 的头牌之争，这不今天 openai 官宣活跃用户达到 800W+，突然就给重置了额度。 Kimi K3 也要来了。就在昨天晚上（7 月 14 日），一张“Kimi K3 发布限时充值活动”的页面截图在 AI 圈子里疯传。页面显示 ...

微软今日发布了 Visual Studio Code 1.129 版本。本次版本更新除了继续完善 AI Agent 能力外，还首次提供了现代化 UI 界面预览，并对 Agents 窗口、聊天交互和编辑体验进行了多项调整，例如 Agents 窗口中的新编辑器面板、支持用“!”前缀直接运行终端命令。 7 月 16 日消息，微软今日发布了 Visual Studio Code 1.129 版本。新版本将 ...

最近，UniX AI（优理奇机器人）联合浙江大学、麻省理工、牛津、耶鲁以及上海交通大学，发布最新科研成果UniTac，提出一套统一的跨传感器触觉理解与生成架构，并进一步接入VLA，为机器人补上了“触觉想象力”。 机器人，也开始拥有“触觉想象力”了。 过去一年，随着具身基础模型的快速发展，机器人已经能完成不少轮廓清晰、位置明确的操作任务。 可一旦涉及柔性物体、易损物体或密集接触，机器人往往就开始力不 ...

仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。 曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。 现在，这座大山被 ...