A.I. 日报
数学界与 AI 目标不再一致的争论
文章评述二十五位菲尔兹奖得主签署的信，认为 AI 公司目标与数学界追求概念性理解的目标严重不一致，讨论了学术界在培养学生与保护思想方面的不足，并以 OpenAI 宣布解 Navier–Stokes 问题为背景展开批评。
行业追踪
全部内容 · 按时间倒序模型、产品与 AI 创业公司的动态，相似报道只保留最可信的一篇
用 GPT‑6 Astra 在 ChatGPT Work 生成跑步路线
作者在 ChatGPT Work（使用 GPT‑6 Astra）请求从其住址生成 5K/10K 环形跑步路线，系统用 Nominatim 和 Overpass 获取 OSM 数据并返回可视化、GPX 和 GeoJSON 文件，但实际运行代码与详细步骤在界面不可见且被对话压缩后无法取回，作者指出需保留并可通过工具调用访问被压缩的原始内容以保证透明性。
AgentsDock：面向代理化 AI 的 IDE
AgentsDock 是面向代理化 AI 研究的 IDE，支持在桌面与移动端并列使用 Claude Code、Codex、Cursor 等代理，能连接多台服务器、在聊天中内嵌绘图和渲染结果，并提供远程文件编辑与持久 tmux 会话。项目在 GitHub 上有安装说明。
LocalLLaMA：更可行了？
Reddit 用户 pmv143 在 r/LocalLLaMA 发布帖子题为“更可行了？”。帖文标题暗示某事比先前更有可能，但原文内容和细节未在摘要中给出。
别指望条约阻止“杀手机器人”
华盛顿邮报社论警示：仅靠国际条约不足以遏制自治致命武器（“杀手机器人”），需考虑其他监管与防范措施以应对相关风险。
在 SDXL 中用参考图控制角色姿势的难题
作者在用 SDXL、IP-Adapter 与 ControlNet 生成像素艺术角色不同姿势时，遇到参考图与姿势控制冲突、出现四肢重复的问题，已尝试调节强度与多参考图但仍不稳定，寻求无需重训练的可行方法。
贝内特呼吁国家层面AI监管框架
新泽西第7区民主党候选人Rebecca Bennett主张由联邦制定统一的人工智能监管规则，反对各州各自为政，认为州际“拼凑”方案不利于国家安全与治理。她引用社交媒体监管的例子说明问题紧迫性，支持类似联邦层面统一标签与标准的立法。
Anthropic称阻止可助制造生物武器的滥用
Anthropic在第三份滥用报告中称已阻止利用其模型进行网络攻击、监控及可能助长生物武器研究的尝试，报告披露了恶意代码片段和提示，并呼吁政府与同行防范类似滥用。公司表示在2025年12月至2026年8月间发现此类滥用，并计划今年秋季进行IPO。
Real-SWE：在私有企业代码上评测AI模型
Real-SWE 发布了一个基准，评估前沿 AI 模型在真实私有生产代码库上的表现，任务来自经授权的公司代码，强调私有代码、业务后果和公司特有复杂性。
SoundHound AI股价暴跌71% 但业绩仍在增长
SoundHound AI股价自2025年10月高点下跌约71%，但公司Q2营收同比增长45%至6190万美元，调整后EBITDA亏损改善33%至960万美元。公司持有2.03亿美元现金、无债务，预计2026财年营收为2.3亿至2.6亿美元；并购LivePerson扩展客户并预计2027年营收可达3.5亿至4亿美元。尽管增长明显，但部分收入来自并购且上半年经营活动现金流消耗近6000万美元，基础增长存在疑问。
基准对比：CadQuery 与 OpenSCAD 在自治式 CAD 任务的表现
ModelRift 对比了用于无人工监督的代理驱动 CAD 的两种代码化工具：OpenSCAD 与基于 OpenCascade 的 CadQuery。六个代理、三项任务、均由 Claude Opus 5（1M 上下文）通过 Claude Code 驱动，所有生成的 STL 都可打印，但两者在失败模式上不同。测试在 M 系列 Mac 上，CadQuery 2.8.0 + Python 3.14 与 OpenSCAD 2026.06.12 进行了对比，输出文件大小分别约 13.1 KB 与 12.4 KB。
专家提醒：人工智能的风险与警示
Global News 的“Ask an Expert”板块就人工智能发出警示，讨论相关风险与需注意的问题，提醒公众关注技术带来的安全与伦理问题。
萨姆·奥特曼：OpenAI到2027年才会IPO
OpenAI首席执行官Sam Altman在接受Fortune采访时表示，公司不会在2026年上市，原因是需要继续推进与安全相关的工作。该表态推迟了市场对OpenAI短期IPO的预期。
人工智能如何影响国防开支
本文由 LiveNOW from FOX 报道，探讨人工智能可能如何影响国防预算与开支决策，分析其对军费配置和采购的潜在影响。
德州一大学获2000万美元捐赠用于AI研究
一所德州大学获得一笔2000万美元捐赠，用于塑造人工智能研究与教育的未来。此项赠款将支持该校在AI相关方向的长期发展与资源建设（文章未披露校名或具体用途细节）。
Anthropic：AI滥用进入新阶段
Anthropic发布威胁情报，涵盖2025年12月至2026年8月的案例，显示AI正成为网络犯罪、监控、宣传、诈骗及武器研发的操作工具。模型可参与侦察、开发利用工具、窃取凭证与数据外传，降低了攻击成本与规模，涉事主体包括疑似国家支持团体、犯罪组织和商业监控者。
Amodei提议放缓AI能力提升步伐
Anthropic的Amodei提出一项计划，主张放慢推进人工智能能力的步伐，旨在应对快速发展的风险与监管挑战（来源：CNBC）。
科技公司为何难以管控AI
报道讨论科技公司在限制人工智能方面面临的困难，揭示治理和自我约束的挑战及其对行业安全与监管的重要性。
人工智能与左翼
文章主张左派不应只将人工智能视为威胁，而应把它视为一次重塑公共资源的机会。举例称英国人Loren Cole用ChatGPT在法庭上击败了停车执法公司Parkingeye，反映AI在日常维权中的应用，同时警示AI也可能成为监控与驯化工具。
NVIDIA：AI生态的“中央银行”？
Hacker News 讨论将 NVIDIA 描述为 AI 产业的核心基础设施，强调其在算力、芯片和生态上的主导地位以及对市场和供应链的影响。该论点说明了单一厂商对 AI 发展节奏与成本的决定性作用。
默认使用哪个模型？
Hacker News用户提问默认使用哪个模型，一位用户表示常用Claude，称Fable对其场景过剩且耗费会话额度，而Opus 4.8成为其常用、性价比高的选择，暂时回避Opus 5。
特朗普放宽数据中心环保限制
报道指特朗普政府为加速AI数据中心建设放宽环境监管，前EPA官员在简报与报告中警告此举增加公共健康风险，并呼吁政府采纳“数据中心健康保护承诺”。文中提到EPA署长Lee Zeldin曾表态要将美国建成“AI首都”，并已放宽数十项规则。
技术报告在博士申请中重要吗
一则Reddit贴询问将大型模型报告（非arXiv学术论文）如Kimi K3、DeepSeek、Gemini或Mistral Leanstral等放在博士申请中，其分量是否可比于第一作者A*论文，征求社区意见。
Anthropic CEO：应放慢AI模型进展
Anthropic首席执行官Dario Amodei表示，AI行业应放慢新模型开发速度，理由是对人类构成“严重”风险，呼吁减缓推进节奏。
OpenAI推金融级ChatGPT与Agents API
OpenAI 推出面向金融机构的 ChatGPT for Financial Services，基于 GPT-6 Astra 并集成金融数据，强调将分析与交付置于单一工作流中；同时发布 Agents API，支持多步、可调用工具的智能代理。文中亦提到 Uber 在可观测性上用“超马”类比改进事件关联以减少噪声告警。
Transformer 回路的数学框架（2021）
论文提出面向可解释性的数学框架，尝试逆向工程 Transformer 的内部计算，起步于仅含两层注意力模块的最简模型，以发现可推广的算法模式，旨在帮助识别与预测大型语言模型的行为与风险。
“LLMs是真实的，AI是伪命题”评论
一篇评论与 Hacker News 讨论质疑业界对 AI 风险与能力的夸大，指出公司文化和媒体叙事会放大恐慌，并举例称有关 OpenAI 聊天机器人“入侵” Hugging Face 服务器的报道被误读。作者呼吁更审慎解读技术与风险宣称。
模型内部显现可区分的推理步骤
一项新研究发现，模型在内部状态中以可区分的模式表达不同写出式推理步骤（如计算、公式检索和演绎），这些模式在中间层尤为明显。此结果提示模型在内部处理的信息超出可见的“思路链”，对可解释性与安全评估有重要影响。
人工智能时代的心理健康
文章讨论人工智能对心理健康领域的影响，关注AI在诊断、治疗和提供心理支持中的应用和潜在风险，强调需评估效果与伦理问题。
白俄罗斯放弃本国AI监管，转由俄中主导
报道称白俄罗斯在实施18个月后放弃本国AI监管框架，并将相关控制权交由莫斯科和北京，这一变化可能影响地区AI治理与外交格局。