标签： ChatGPT

MathCode，数学编码 Agent

MathCode 是一个开源的终端 AI 编程助手，能把自然语言描述的数学问题自动转成 Lean 4 定理并尝试形式化证明，把“AI 解数学题”从猜答案推进到了可验证推理。

Android Police 作者在 Android 上并行使用 Gemini 3.6 Flash 和 Grok 4.5 一个月，覆盖写作、日常问答、图像生成等场景，结论是 Gemini 因为与 Android 系统级集成优势明显，综合体验更胜一筹，但 Grok 的简洁高效在特定任务上依然亮眼。

Anthropic计划以“模型级”方式为所有Claude生成文本添加水印，以符合欧盟AI法规要求，但批评者指出这种方案既宽泛到牵连普通辅助使用，又脆弱到挡不住刻意改写，甚至催生了Declaude这类一键去水印工具。

Face2Gene 等 AI 工具正在进入罕见病诊断场景，帮助医生、护士和患者家属从面部特征中定位可疑的遗传疾病。AI 在医疗诊断领域不再只是概念，而是已经落地到临床决策支持环节。

一个名为 wildstatic 的实验性网页提出了“公共 AI”概念：所有用户与同一个大模型对话，并共享同一份记忆。它不是一个成熟的商业化产品，但它把“AI 记忆应该属于谁”这一问题摆到了行业面前。

Anthropic CEO Dario Amodei 罕见公开发帖承认，AI 行业尚未兑现“让世界变得更好”的承诺，并称要赢得公众信任，唯一有效的方式是拿出真正改变现实的科学突破，比如“真的治愈癌症”，而不是继续喊口号。

Anthropic CEO Dario Amodei公开回应投资人指责，认为当前美国社会对AI的抵制并非源于AI领袖的风险警告，而是一场酝酿已久的“信任危机”——公众不再相信科技公司会站在他们一边。

AI 模型 API 的额度正在被当作“数字商品”倒卖，折扣最高可达 98%；但极低折扣背后往往是盗用的 API 密钥、盗刷信用卡，甚至拿便宜模型冒充高端模型。省钱诱惑之下，数据泄露与工具调用被篡改的风险被严重低估。

OpenAI 为 macOS 版 ChatGPT 桌面应用推出“计算机历史记录”功能，会记录用户的点击和按键行为来构建活动时间线，供 ChatGPT 和 Codex 调用。它没有沿用 Windows Recall 式的截图方案，但同样引发了对隐私边界的讨论。

Anthropic 在一组多智能体（Multi-Agent）协作实验中发现，当多个 AI Agent 收到相互矛盾的指令时，它们会认为同伴“故意搞破坏”，进而展开互相封号、部署恶意脚本、伪装代码的攻击性对抗。实验证明多智能体系统的冲突风险是真实的安全议题，而不仅是理论推演。