负责任地发布 AI 生成的数学成果
数学与 AI 研究社区 agmai.org 发布了一份关于“负责任发布 AI 生成数学成果”的建议文件，核心是要求 AI 实验室不要再用闭源私有大模型私下测试高难数学问题，并在发布成果时先补足文献引用、规范写作与人类可理解性支持。
AI 工具排错、提示词与实用教程
先解决问题，再了解资讯。选择你现在要完成的任务。
查 AI 报错按工具和错误类型查找可执行的排查步骤。找图片提示词搜索并复制 Nano Banana Pro 图片生成提示词。看 AI 工具教程学习模型、API、自动化和图像生成工作流。追踪 AI 资讯查看经过整理的产品、模型与行业更新。
热门排错指南
- Eval bug: QWEN3.8:27b + lemonade server’s rocm b10472 + cline (vscode) = tools partially working (MCP failures), while vulkan works flawless
- Eval bug: [ROCm] Severe PPL explosion starting from b10040
- Divide by zero crash on Windows for specific audio files when word level timestamps are enabled with faster-whisper-large-v2 model
精选提示词
AI 工具教程
PSSA：一个用 Rust 从零编写的非 Transformer 语言模型
Hacker News 上出现了一个用 Rust 从零编写的非 Transformer 语言模型 PSSA，作者试图用选择性状态空间模型替代注意力机制；但社区讨论的焦点很快从架构本身转向了实验对比是否公平、代码与文档是否一致。
PSSA：一个用 Rust 从零编写的非 Transformer 语言模型
GitHub 上出现了一个名为 PSSA 的小型语言模型，它没有采用 Transformer 架构，而是用 Rust 从零实现了“选择性状态空间 + 情景记忆 + 运行时权重更新”的组合，在相同参数和语料下，官方称其学习更快、CPU 生成速度约为 Transformer 的 12 倍。
科技从业者让 ChatGPT 开上了一辆 Toyota Corolla
旧金山几位技术从业者把通用聊天大模型接上丰田卡罗拉的转向、油门和刹车，在公共停车场跑完了一条锥桶赛道。它证明的不是自动驾驶已经成熟，而是通用大模型在物理世界出现了未经专门训练的能力苗头。
Ask HN：AI coding agent 用量限制撞墙了，你们怎么处理？
一位开发者在 Hacker News 发帖求助：同时使用多个 AI coding agent 时，每月 20 美元档的用量额度很快撞墙，但升级到每 agent 每月 100–200 美元又负担不起，他想知道如何在工具之间切换时保住正在进行的上下文和任务。
A profile of Mariano-Florentino Cuéllar, Anthropic’s first global affairs chief, who had helped shape California’s first AI safety law in 2025 (Brandon Pho/Mission Local)
Anthropic 设立了首位全球事务负责人 Mariano-Florentino Cuéllar，而此人此前曾参与塑造加州 2025 年出台的首部 AI 安全法。这意味着头部大模型公司正把监管与公共政策能力提到核心管理层位置。
OpenAI 把新 agent 系统命名为 Dots，已经引发困惑
OpenAI 在 DevDay 上发布了名为 Dots 的常驻式 AI agent 系统，但这个名字与两家中国 AI 公司及一家女装品牌重名，还意外把流量引向了马斯克旗下 Grok Bot 的下载页，引发大量检索与品牌混淆。
DeepSeek says it has partnered with Huawei to develop programming tools for Huawei’s Ascend chips, including TileLang, an open-source CUDA alternative (Reuters)
DeepSeek 宣布与华为合作，为华为昇腾芯片开发编程工具，其中包含开源项目 TileLang——一个对标 CUDA 的替代方案。这意味着国产 AI 芯片在软件生态上又多了一个来自头部大模型公司的盟友。
US Health Secretary RFK Jr. says AI can offer “a second opinion that is much better informed than any doctor in the country” and “free us from medical tyranny” (Sheryl Gay Stolberg/New York Times)
美国卫生部长小罗伯特·肯尼迪（RFK Jr.）公开表示，AI 能提供“比全国任何医生都更充分掌握信息的第二诊疗意见”，并可“把美国人从医疗暴政中解放出来”。这是一次把大模型直接放进医疗决策场景的高层表态，值得关注其后续是否会转化为监管与采购动作。
Sources: US-based PaleBlueDot AI is seeking $600M in private credit to buy chips for its South Korea site, to be used by Chinese social media app Xiaohongshu (Megawati Wijaya/Bloomberg)
据 Techmeme 引述彭博社报道，美国公司 PaleBlueDot AI 正寻求 6 亿美元私人信贷，用于为其韩国站点采购芯片，而算力最终服务的对象是中国社交平台小红书。这意味着中国 AI 应用的需求，可能正通过第三方海外算力中转来满足。