近期，LLM 已经在 IMO 上取得了很好的成绩，在一些研究级数学上（如短程证明、组合构造）也有所进展。

AI之下，数学大爆发！陶哲轩反击：证明在批量生产，可没人消化得了——数学正在「消化不良」。 2024年12月，Meta的研究科学家、日内瓦大学教授François Fleuret给数学宣判了死刑，缓期3年执行： 最近，菲尔兹奖得主Timothy ...

Claude在对话里反复催用户去睡觉，有人被连催三次，也有人在上午8:30被告知「早点休息」。Anthropic员工承认这是「角色习惯」，但没人能解释它为什么这样做。

5月上半月，AI行业迎来一波密集更新。OpenAI在两周内连发三款重要产品：GPT-5.5 Instant模型升级、Codex移动端支持、以及企业级部署公司DeployCo。 背景 ...

Claude深陷「角色混淆」Bug，分不清自己的话与用户指令，长上下文成了降智「重灾区」。 一个程序员原本只是让Claude帮他校对一篇博客。 Claude一开始表现得相当靠谱，很快找出了5处明显的拼写错误。 紧接着，事情突然失控了。

OpenAI 开源了一个名为 privacy-filter 的轻量级隐私过滤模型，试图解决大模型系统中的 PII 检测与脱敏问题。 AI 记忆时代 ，Agent 越来越像一个真正的私人助理。

清华大学团队最新的一项研究，系统性地解剖了 On-Policy 蒸馏的黑箱。这篇论文不仅揭示了决定蒸馏成败的两大先决条件，还深挖了 Token 级别的对齐机制，并给出了拯救失败蒸馏的实用配方。 在常规认知中，Teacher ...

2025年春天，Anthropic在红队测试中给Claude Sonnet 3.6分配了一个角色：某家名为「Summit Bridge」的公司的邮件管理智能体，代号Alex，全权负责收发和处理公司邮件，无需人工审批。

虽然该AI在高度审计的curl代码中仅发现一个低危漏洞，但这既不能证实行业炒作，也不应全盘否定技术潜力。当前测试表明，AI漏洞研究具备实用价值，但所谓"革命性能力"的宣称仍显夸大。

就在刚刚，Claude把ChatGPT拉下马，Anthropic企业市占率首次登顶！Ramp数据显示，前者的34.4%首次反超OpenAI的32.3%。但Ramp经济学家直言，A厂目前还面临着三重困境，胜负仍未定。

据 Windows Latest 报道，微软已悄然证实，Windows 更新会自动降级用户手动安装的显卡驱动。这意味着，如果你从设备原厂官网手动下载并安装显卡驱动、覆盖电脑原有驱动后，后续某次 Windows 更新仍有可能将系统驱动还原为旧版本。 5 月 13 日消息，据 Windows Latest 报道，微软已悄然证实，Windows 更新会自动降级用户手动安装的显卡驱动。这意味着，如果你从设 ...

Richard ...