A.I. 日报
成立数学AI安全研究所以形式化证明AI安全
数学家Jacob Tsimerman发起成立Mathematical A.I. Safety Institute (MAISI)，志在用类似密码学的形式化证明方法来验证AI安全性。
行业追踪
全部内容 · 按时间倒序模型、产品与 AI 创业公司的动态，相似报道只保留最可信的一篇
华盛顿邮报：打造更聪明机器的竞赛遇到危险问题
The Washington Post 发布一篇报道，标题指出推动更聪明机器的竞赛遇到了一项危险问题。文章强调这一发展带来的风险与挑战（原文标题已给出，具体细节见报道）。
NeurIPS 投稿收到网站选择邮件意味着什么？
投稿者在收到NeurIPS的“site selection”邮件后疑惑这是否只是常规通知或暗示更高录用概率；邮件并非正式接收通知，作者询问是否所有未撤稿的投稿都会收到该邮件。
社论：情况非常糟糕
The New York Times 发布题为《This Is Really Bad》的社论，表达对某一重要议题的强烈担忧和批评（文章原文未列出细节）。
Anthropic 15 亿美元著作权和解引发分配争议
The Decoder 报道称 Anthropic 的 15 亿美元著作权和解成为美国史上最大书籍版权案，但作者与出版商就如何分配这笔款项发生争执，导致和解执行陷入混乱。
州博览会民调显示公众对人工智能担忧
一项在州博览会进行的民调显示公众对人工智能存在明显担忧，反映出对技术影响和监管的关注上升。该民意信号可能影响未来政策与市场讨论。
TEDxMacatawa 2026 主题定为信息混乱
The Holland Sentinel 报道，TEDxMacatawa 2026 年活动主题为“信息混乱”，将围绕相关议题展开讨论。报道为活动预告，未披露更多嘉宾或日程细节。
天主教视角下的人工智能伦理思考
EWTN刊文从天主教视角讨论人工智能，应对恐惧與伦理问题，提供宗教社区对AI影响的价值判断与指导。
北京—华盛顿峰会前AI安全担忧上升
南华早报报道称，在习近平与特朗普会晤前，公众与专家对AI安全的担忧激增，报道聚焦舆论与政策层面紧张情绪。
桥水高管警告：AI风险可能致人死
彭博报道，桥水联合首席投资官Greg Jensen在节目中警告人工智能快速发展可能在受控前导致人员伤亡，发表了对AI后果的严厉论断。
中国AI芯片IPO热潮再现，个股首日涨200%
商业内幕报道，中国AI芯片上市热潮延续，又一家挑战英伟达的公司在首日交易中暴涨200%。该现象显示市场对国产AI芯片的强烈投机与关注。
哥伦比亚大学与AWS合作用AI研究疾病
消息称哥伦比亚大学与AWS建立合作，利用人工智能推进疾病研究。具体合作内容与规模文中未详述。
生成式人工智能档案汇编
汇总页收录有关生成式人工智能的相关文章与资源，便于读者检索不同主题的报道与分析。
ACL提出可持续审稿新政
ACL公布“可持续审稿”提案：投稿需提供合格审稿或会议服务者，否则可能通过抽签入选；对作者投稿总数设上限20、以第一作者身份投稿每周期上限5，并将建立导师制度和滥用惩罚机制。此举旨在把可审稿能力与可接受投稿配额挂钩。
人工智能：神话与危险
CounterPunch.org 发布了一篇题为《人工智能：神话与危险》的文章。原文标题已知，但提供文本内容和细节未包含在源材料中。
Gemini桌面应用登陆Windows
Gemini推出Windows桌面应用，用户可用Alt+Space快捷键在任意窗口唤出AI助手，支持文档草拟、任务管理、从Google应用抽取信息及生成图像视频等功能，官方称运行流畅不影响电脑性能。
如何把代码库转为微调数据集？
作者询问有哪些工具或流程能将React/Next.js或静态网站等代码库转成指令—代码格式的数据集，并讨论跨文件上下文、截图配码与生成有用指令等问题，目标用于模型微调与性能对比。
洛时报评：AI致命风险真的有10%吗？
洛杉矶时报探讨了流行的说法——人工智能有10%可能导致人类灭绝，分析相关论据与不确定性，强调对风险评估的理性讨论重要性。
TMLR审稿延迟影响毕业季作者
一名应届博士生称向TMLR投稿经修订后审稿人迟迟不回复，已等两个月并催询编辑但无进展，担心影响申请博士后等时间敏感的职业节点。
Super.money推AI代理可自主购物买金
Flipkart旗下数字支付平台Super.money推出能自主代购商品和购买黄金的AI代理，期望通过自动化购物与支付功能在与更大竞争对手的竞争中脱颖而出。
Anthropic阻断针对Claude的中俄AI攻势
Anthropic对针对其Claude模型的俄罗斯和中国AI活动进行了阻断，表明公司在保护模型免受外部操控与滥用方面采取了积极防御措施。这一行动影响了针对Claude的定向活动，凸显模型安全的重要性。
关于Anthropic拟上市：要点
华尔街日报报道称，AI公司Anthropic计划进行首次公开募股。此举对AI行业资本市场有重要影响，显示大型AI公司正寻求通过上市扩大融资与市场地位。具体融资规模和时间表未在文章标题中披露。
Ferris State Tech Week聚焦人工智能
Ferris State University在Grand Rapids的Tech Week会议将议题集中在人工智能日益增长的作用，讨论AI在教育与本地技术社区的影响与应用趋势。活动强调AI如何改变工作流程和技能需求。
学生如何看待人工智能（HN 讨论）
Hacker News 上有一则题为“How My Students Think About AI”的讨论帖，源链接为 news.ycombinator.com。源材料仅包含讨论标题与链接，没有进一步内容。
音乐模型 YuE2-3B 发布
用户在 r/LocalLLaMA 分享了新音乐模型 YuE2-3B 并给出在线演示链接，作者评价模型表现稳健。该贴提供了模型演示地址但未披露更多训练或权重信息。
是否应赋予人工智能法律人格？
文章讨论是否应赋予AI法律人格，审视伦理、法律和社会后果，提示这是一个需要跨学科评估的政策问题。
在Mac上用Ollama与sbx搭建OpenCode本地LLM开发环境
文章介绍在Mac上用Ollama、OpenCode和Docker沙箱(sbx)搭建本地LLM开发环境，推荐Qwen 3.8与Gemma 4模型并给出安装与配置要点。
报告：Anthropic为训练AI粉碎数百万本书
报道称Anthropic为训练其AI对大量纸质书籍进行了粉碎处理，此举揭示了大规模训练数据处理的实践与争议。
WSSU首届AI峰会：技术前景与风险并存
WSSU举办首届AI峰会，探讨技术带来的机遇，同时研究者警示未来风险，强调需提前应对潜在负面影响。
恩燃科技在沪IPO募资约61.2亿元人民币
腾讯支持的上海恩燃科技在上海上市并筹集约61.2亿元人民币（9.11亿美元），成为中国领先AI芯片厂商中最后一家上市公司。