MathCode，数学编码 Agent
MathCode 是一个开源的终端 AI 编程助手，能把自然语言描述的数学问题自动转成 Lean 4 定理并尝试形式化证明，把“AI 解数学题”从猜答案推进到了可验证推理。
标签： AI
我在Android上同时使用Gemini和Grok一个月，其中一个明显更胜一筹。
Android Police 作者在 Android 上并行使用 Gemini 3.6 Flash 和 Grok 4.5 一个月，覆盖写作、日常问答、图像生成等场景，结论是 Gemini 因为与 Android 系统级集成优势明显，综合体验更胜一筹，但 Grok 的简洁高效在特定任务上依然亮眼。
Anthropic的弱水印迎合了软弱的法律
Anthropic计划以“模型级”方式为所有Claude生成文本添加水印，以符合欧盟AI法规要求，但批评者指出这种方案既宽泛到牵连普通辅助使用，又脆弱到挡不住刻意改写，甚至催生了Declaude这类一键去水印工具。
Patients, families, doctors, and nurses are increasingly turning to AI tools, such as Face2Gene, to help identify rare and hard-to-diagnose diseases (Alex Janin/Wall Street Journal)
Face2Gene 等 AI 工具正在进入罕见病诊断场景，帮助医生、护士和患者家属从面部特征中定位可疑的遗传疾病。AI 在医疗诊断领域不再只是概念，而是已经落地到临床决策支持环节。
Show HN：一个所有用户共享记忆的公共AI
一个名为 wildstatic 的实验性网页提出了“公共 AI”概念：所有用户与同一个大模型对话，并共享同一份记忆。它不是一个成熟的商业化产品，但它把“AI 记忆应该属于谁”这一问题摆到了行业面前。
Anthropic CEO Dario Amodei：AI要赢得公众信任，就得”真的”治愈癌症
Anthropic CEO Dario Amodei 罕见公开发帖承认，AI 行业尚未兑现“让世界变得更好”的承诺，并称要赢得公众信任，唯一有效的方式是拿出真正改变现实的科学突破，比如“真的治愈癌症”，而不是继续喊口号。
bug(sdk-python): LangchainCallbackHandler attributes only the root span in async runs — child observations lose user_id/session_id/tags
该问题发生在 Langfuse Python SDK 的异步 LangChain/LangGraph 调用中，导致只有根 span 被正确写入 user_id 、 session_id 、 tags ，所有子 observation（尤其是产生费用的 GENERATION）都丢失这些属性。优先排查是
Anthropic CEO称，AI抵制本质上是一场信任危机。
Anthropic CEO Dario Amodei公开回应投资人指责，认为当前美国社会对AI的抵制并非源于AI领袖的风险警告，而是一场酝酿已久的“信任危机”——公众不再相信科技公司会站在他们一边。
[Bug] Canary Docker image fails to start due to missing @swc/helpers runtime file
![[Bug] Canary Docker image fails to start due to missing @swc/helpers runtime file](https://www.chat-gpts.plus/wp-content/uploads/2026/08/18323-56abae9d-768x403.jpg)
该报错通常发生在 LobeChat Canary 版本的自托管 Docker 部署中，表现为数据库迁移成功后应用进程因缺少 @swc/helpers 运行时文件而崩溃。优先检查 Docker 镜像版本并关注修复 PR #18297 的合并状态。
AI 额度转售经济
AI 模型 API 的额度正在被当作“数字商品”倒卖，折扣最高可达 98%；但极低折扣背后往往是盗用的 API 密钥、盗刷信用卡，甚至拿便宜模型冒充高端模型。省钱诱惑之下，数据泄露与工具调用被篡改的风险被严重低估。