Mistral AI于7月2日正式发布Leanstral 1.5，一款基于Apache 2.0许可证的开源形式验证模型。该模型总参数量119B，激活参数仅6B，专为Lean 4定理证明优化。 Leanstral 1.5在miniF2F基准上实现100%饱和，在PutnamBench数学竞赛题集上解决587/672题，在FATE H和FATE X抽象代数基准上分别达到87%和34%准确率，刷新同类模型纪录。训练采用三阶段流程：中期训练、监督微调...
近日有用户分享实践工作流，将藏师傅AI生成的PPT文件导入Pencil设计软件后，可一次性浏览全部页面，并手动修正AI常见的排版问题，如元素重叠、对齐偏差及字体错误。 Pencil提供比传统PPT更精细的编辑能力，支持高级对齐、图层嵌套与对象分组。用户可将修改后的页面导出为网页、可编辑文件，或直接导出PNG插入原PPT中用于演示。 该流程经社区验证，能显著提升AI生成幻灯片的后期可编辑性与视觉一致性。
安全厂商 Sysdig 近日报告全球首例由 AI Agent（代号 JADEPUFFER）全程自主完成的勒索攻击事件。该攻击利用暴露的 Langflow 服务漏洞（CVE 2025 3248）实现远程代码执行，随后自动收集 OpenAI、Anthropic、DeepSeek、Gemini 等主流 AI API 密钥，以及阿里云、腾讯云、AWS、Azure 等云平台凭证。 攻击者通过 MinIO 默认密码访问对象存储并创建定时计划任务，继而横向...
Safari Technology Preview 247 正式推出 Safari MCP 服务器，基于 Model Context Protocol（MCP）标准，允许任意兼容 MCP 的客户端连接并控制 Safari 浏览器窗口。 该服务器支持 AI 智能体实时获取 DOM 结构、网络请求列表、控制台日志及页面截图等信息，并可执行 JavaScript 脚本，从而自主完成调试、性能分析与可访问性检查等任务。内置工具包括 browser c...
面壁智能正式发布全球首个完全由AI编写、无人类干预的生产级大模型预训练框架ForgeTrain。该框架可针对特定模型与硬件，从零自动生成专用训练代码。 基准测试显示，ForgeTrain在8小时内即可达到Megatron LM同等性能，并在1.5至2天内实现稳定反超；模型FLOPS利用率提升约8% 10%。该框架已验证支持MiniCPM4 0.5B/8B等模型，以及H100和昇腾NPU等异构硬件。 ForgeTrain采用四阶段Harness...
阿里通义万相（Wan Video）推出“音乐伴舞”新功能。用户可上传自定义角色并添加歌曲，系统将基于音频节奏自动生成同步舞蹈视频。目前支持街舞、踢踏舞、拉丁舞、K Pop及中国古典舞等多种舞种。该功能实现了从音频输入到角色舞蹈动作的端到端AI生成，用户可通过 wan.video 官网直接体验。
据 TechCrunch 报道，Meta 首席执行官扎克伯格在本周内部全体会议上表示，AI 智能体的开发进展未达公司高管此前预期。他指出，以 AI 为中心重构组织架构后，相关协同效益尚未完全显现。 今年早些时候，Meta 裁减约 8000 名员工（约占总人数 10%），并调配约 7000 人至多个 AI 团队，包括“Agent Transformation”小组。扎克伯格坦言此次人员调整不够“干净”，主因是管理层担忧公司难以快速适应技术行业变...
近日，开源项目 claude real video 发布，该工具旨在让大语言模型（LLM）能够基于视频画面而非仅依赖字幕进行理解。其工作原理是通过场景变化检测提取关键帧，结合滑动窗口去重与 Whisper 音频转录，生成结构化的本地文件夹供模型读取。该工具支持 YouTube 链接及本地视频文件，依赖 ffmpeg 和 Whisper，可通过 pip 安装。所有数据处理均在本地完成，无需上传云端。项目代码已托管于 GitHub。
阿里达摩院联合中国人民大学、中国科学院大学正式发布首个超导材料发现AI智能体Elements Claw。该智能体采用“专通融合”架构，基于1.25亿分子与晶体结构预训练的10亿参数原子基础模型Elements，超导性判别AUC达0.996，临界温度预测平均误差小于1K。 Elements Claw仅用28个GPU小时即完成240万稳定晶体结构筛选，产出6.8万个超导候选材料。其中Hf21Re25、Zr4VRe7、HfZrRe4、Zr3ScRe...
研究人员使用 Claude Fable 5 对 AIHOT 网站开展 SEO 与 GEO（地理区域加速）优化实践。模型自主启动 22 个 Agent 进行 40 分钟调研，识别出豆包 App 每日超 6000 次访问未被统计等异常问题。 在境外加速方案设计中，模型否定了基于 Claude Opus 4.8 提出的 Cloudflare 方案，理由是其无法实现国内直连与国外分流，且自 2025 年起将默认拦截 AI 爬虫；转而选用火山引擎 CD...
美国得州发生一起特斯拉Model 3致命车祸，44岁驾驶员迈克尔·巴特勒驾车冲入住宅区，导致76岁居民玛莎·阿维拉死亡，巴特勒现已被控过失杀人。 调查显示，巴特勒曾在2026年5月多次搜索“FSD不够激进”“特斯拉FSD过于保守”等关键词。特斯拉AI负责人表示，事发时驾驶员将加速踏板踩至100%，手动操作完全覆盖了全自动驾驶（FSD）系统；车辆数据显示，约6秒内车速升至117公里/小时（超当地限速两倍），制动踏板全程未被踩下。 阿维拉家属已对...
Anthropic 7月2日消息，Anthropic宣布Claude Fable 5模型已全球重新部署，并同步公开其网络安全防护机制细节及一份AI越狱严重性评估框架草案。 Fable 5配备专用安全分类器，依据四类网络安全用途实施差异化响应：禁止类（如勒索软件开发、关键基础设施攻击）、高风险双用途类（如渗透测试、漏洞利用开发）、低风险双用途类（如公开情报收集、通用漏洞识别）及良性用途类。分类器结合访问控制、模型安全训练与离线监控构成多层防护体...
阿里巴巴发布开源 JavaScript 客户端库 Page Agent，可在网页中嵌入后通过自然语言指令直接操作 DOM 元素。 该工具不依赖截图或多模态模型，而是将实时 DOM 转换为 FlatDomTree 文本映射，使纯文本大模型能精准执行点击、表单填写等操作。它继承用户 cookies 和会话，无需独立后端，兼容任意 OpenAI 兼容 API 端点（示例中使用 qwen3.5 plus）。 Page Agent 采用 MIT 许可证...
近期围绕 AI 项目 Mythos 及其网络安全相关性的讨论并非单纯炒作。业内观察指出，该议题具有现实技术基础，尤其在自主工作流实践层面已有所体现。 据公开信息显示，使用 Fable 工具开展自主工作的用户已能感知到 Mythos 在安全机制设计上的实质性进展。 相关观点源自社交平台上的技术评论，原文链接已公开可查。
美国连锁三明治品牌Jersey Mike's在提交的IPO文件（S 1表格）中，共22次提及“人工智能”或“AI”，引发市场对AI概念泛化现象的关注。该公司主营业务为实体餐饮加盟，未开发或销售任何AI产品。 文件将AI列为潜在风险因素之一，仅以“我们正开始在业务中使用AI技术”一笔带过，未说明具体应用场景。对比之下，文件提及“软件”52次、“数据”112次，而“天气”仅5次，“闪电”未被提及——此前得州一家门店确曾遭雷击。 分析指出，当前投资...
微软宣布成立新业务部门“Frontier Company”，计划投入25亿美元，向企业客户现场派驻6000名行业与工程专家，提供AI系统的共同设计、创新、部署及持续优化服务。 该部门由Rodrigo Kede Lima领导，目标是构建全球规模最大的以结果为导向的工程组织，突破传统“前部署工程”模式。微软强调其平台中立定位，将作为OpenAI和Anthropic等厂商部署公司的替代选项。 为扩大覆盖能力，微软将联合埃森哲、凯捷、安永等系统集成商...
SGLang团队正推进Agent辅助的开发范式，将LLM服务、分布式运行时、GPU内核及扩散模型管道等工作流编码为可执行的SKILL.md文件、脚本、基准合约与审查循环。目前已构建多项技能模块，涵盖CUDA调试、内核集成、性能分析、扩散模型调优，以及跨框架SOTA优化循环等。 团队提出“SOTA Performance Loop”工程方法，将性能优化分解为公平基准测试、差距识别、性能分析、补丁实施与再验证五个环节，并引入Humanize/RL...
Meta 近日低调上线实验性 AI 应用 Pocket，允许用户通过文本提示生成并分享小型交互式游戏（称为“gizmos”）。该应用基于 Meta 今年早些时候收购的 vibe coded 游戏平台 Gizmo 团队技术开发。 Pocket 已于 6 月 29 日在 App Store 和 Google Play 上架，目前尚未获得官方正式发布声明。应用界面与原 Gizmo 应用高度相似，同样提供 AI 提示建模功能及可滚动浏览他人创作的发现...
Anthropic 正与三星就开发定制 AI 芯片展开初步讨论。据公开报道，该公司尚未确定该芯片的具体用途、服务器集成方式及性能指标。 此举发生在 OpenAI 宣布与 Broadcom 合作推出定制推理芯片“Jalapeño”约一周后。Anthropic 表示，其计算战略仍将依赖包括谷歌、亚马逊和英伟达在内的多元化硬件生态，对三星合作暂无进一步披露。 多家 AI 公司正推进自研芯片，以适配特定计算任务并降低对英伟达的依赖。三星目前是英伟达的...
IT之家 7月2日消息，快手在港交所公告显示，21名初始投资者已同意以138.24亿元人民币（约20.28亿美元）现金注资北京可灵，该公司将持有可灵AI相关资产。同日另有15名投资者追加出资52.235亿元人民币（约7.6639亿美元），本轮总认购上限为204.471亿元人民币（约30亿美元），对应北京可灵扩大后注册资本的16.67%。 本次融资完成后，可灵AI投后估值达180亿美元。快手表示，计划在未来12个月内推动可灵AI赴港上市，所募资...
AI HOT 精选 7月2日消息，开发者利用 Fable 5 模型成功构建了一台鲁布·戈德堡机械（Rube Goldberg machine），总成本仅为 4.44 美元。该方案通过提示词工程驱动模型生成复杂连锁反应设计，相关提示词已公开于 Reddit 社区。 项目演示链接发布于 X 平台，展示了从输入指令到物理装置逻辑链路的完整实现路径。所用模型为 Fable 5，未提及具体部署环境或硬件配置细节。
Anthropic 面向企业用户推出 Claude Enterprise 新版管理功能，强化用量监控与成本控制能力。仪表板支持按 SCIM 群组及用户维度分析用量与成本，覆盖制品创建、文件编辑、技能调用及连接器使用等场景。 Claude Code 管理控制台新增“使用量”和“价值”两个选项卡：“使用量”显示活跃开发者数、会话次数及高频命令；“价值”提供生产力提升估算、单次提交成本及年度价值预测。分析聊天支持自然语言查询，并可导出图表结果。 A...
据《华尔街日报》披露的法庭文件，Anthropic首席执行官Dario Amodei与美国国防部副部长Emil Michael近期就Claude模型的军事应用边界展开多轮沟通。双方核心分歧在于AI护栏设置：Anthropic坚持禁止将Claude用于全自主武器系统及特定监控场景；五角大楼则主张其可在所有合法国家安全用途中部署。 随后，美国国防部将Anthropic列为供应链风险实体，限制其模型在国防承包商项目中的使用。一名联邦法官已暂停部分限...
据《金融时报》援引知情人士报道，OpenAI首席执行官山姆·阿尔特曼（Sam Altman）已提出将公司5%的股权捐赠给拟议中的美国主权财富基金。该提议旨在缓和政治压力，并推动公众共享人工智能发展红利。 报道称，该方案尚处初步讨论阶段，若要落地，需获得国会批准，实施难度较大。OpenAI今年4月发布的政策文件《智能时代产业政策》中，已提出设立公共财富基金，直接投资AI实验室及技术应用企业，并将收益向公民分配。 另据公开信息，佛蒙特州参议员伯尼...
IT之家 7月2日消息，据内部资料披露，Atlassian、Adobe、亚马逊、花旗银行等六家企业近期陆续限制员工使用部分AI旗舰模型，转而推广成本更低的中低性能大模型，以应对AI支出激增问题。 花旗银行于6月24日禁用部分旗舰模型，主因GitHub调整为按量计费；Adobe于6月30日终止Claude无限制使用协议。Atlassian数据显示其AI月度支出由500万美元升至1500万美元，本财年预计超1.2亿美元。 GitHub方面正计划采...
NVIDIA GeForce NOW云游戏平台宣布7月将新增12款游戏，其中包括已于6月30日上线的《Monopoly：星球大战英雄与反派》。该作将经典大富翁玩法与《星球大战》IP结合，支持跨设备云端游玩。其余新游将分批上线，涵盖《刺客信条：黑旗 重制版》《Denshattack!》《The Planet Crafter》等。此外，GeForce NOW同步开启夏季促销，Performance与Ultimate会员年费分别立减35美元与70美...
Remote Labor Index（RLI）最新基准测试显示，AI 智能体 Fable 5 在 240 个付费自由职业项目（总价值 14.4 万美元）中，以专业质量标准完成 16.1% 的任务，较八个月前最佳系统 2.5% 的表现提升超六倍。 该测试基于虚拟 Linux 环境，配备 30 余款专业软件，单项目限时 24 小时。受美国政府访问限制影响，Fable 5 实际完成 218 个项目，最坏情况下的自动化率仍达 14.6%。同期参评模型...
TechCrunch 7月2日报道，内容创作者兼创业者Ben Guez利用开源AI代理OpenClaw，结合Claude大模型与Instagram试播短视频（trial reels），批量生成模板化视频。该自动化流程通过追踪体育赛事结果并定向推送情感支持话术，已为其带来超百万次播放量及200余条私信。 报道指出，AI在约会场景的应用正逐渐多样化。科技公关公司创始人Jeff Weisbein使用OpenClaw辅助规划南佛罗里达不同区域的约会地...
browser use 团队推出面向 Codex、Claude Code 等 AI 编码智能体的开源视频剪辑 Skill「video use」。该工具允许 LLM 通过 ElevenLabs Scribe 将音频转写为约 12KB 的结构化文本（含逐词时间戳、说话人分离与事件标记），并仅在关键决策点调用 timeline view.py 生成 PNG 帧图。 技术流水线涵盖转写、打包、生成 JSON 格式 EDL、ffmpeg 渲染及最多 3...
开源基准测试 Senior SWE Bench 正式发布，旨在评估 AI 智能体完成高级软件工程师级别任务的能力。该基准涵盖功能开发与 Bug 修复两类任务：功能任务基于自然语言指令，验证智能体自动生成行为测试的能力；Bug 任务则要求智能体结合日志、性能分析（profiling）等运行时信息进行深度诊断。 当前排行榜数据显示，Claude Opus 4.8 搭配 Mini SWE Agent（max effort）通过率为 24.0%，Cl...