AI 新闻中心

AI 新闻中心 过去24小时分析了 113 篇文章,发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。

数学里程碑:Claude 用 11 天完成费马大定理的形式化证明

Anthropic 表示,一个 Claude 模型经过约 11 天大致自主运行,首次在 Lean 中完成了费马大定理的端到端形式化,并通过计算机检查。该模型并未重新发现新的数学证明,而是将安德鲁·怀尔斯已有的证明转换为 Lean 证明助手能够逐步验证的形式。Claude 生成约 1300 万行 Lean 代码,证明了约 3.03 万个定理,其中近 2.95 万个被纳入最终证明。多个 Claude

中国大模型调用量连续19周全球领先,腾讯混元Hy4 Preview单周增长379%

根据 OpenRouter 最新数据测算,8月31日至9月6日,全球主要大模型总调用量达到115万亿Token,环比增长1.77%。中国大模型调用量为56.72万亿Token,美国大模型为16.54万亿Token,中国模型连续19周领先。调用量前五名中有四款来自中国。腾讯混元 Hy4 Preview 以14.7万亿Token位居第一,环比增长379%。该模型于8月28日开源,拥有7700亿总参数、

τ^τ-Bench:面向真实端到端智能体构建的评测环境

τ^τ-Bench是一项评测编码智能体能否在接近真实客户项目的条件下构建完整客服智能体的基准测试。系统会获得企业业务记录、客户需求、生产环境API、现有代码库,以及模型和服务成本限制,随后将构建出的智能体部署到模拟用户环境中进行测试。在覆盖四个领域的53项任务中,使用Claude Code运行Claude Opus 5的最强配置仅通过了23.9%的评测模拟,而专家编写的参考系统达到82.2%。失败

美国数据中心建设阻力加大,科技巨头将目光投向澳大利亚

据彭博社报道,谷歌、苹果、Meta、亚马逊和微软对在澳大利亚建设数据中心的兴趣超出预期。政治稳定、可再生能源供应、充足土地以及靠近亚洲主要市场,是澳大利亚吸引科技公司的主要因素。美国则因电力短缺、居民电费上涨和环境负担等问题,面临日益强烈的反对。澳大利亚联邦银行预计,到2030年,该国数据中心行业可能吸引1500亿澳元投资。人工智能数据中心目前约占澳大利亚全国用电量的3%,预计到2035至2036

阿里千问办公推出支持最多百人协作的 AI 多人工作台

阿里云宣布,千问办公推出“多人工作台”。用户用自然语言描述需求后,系统可以生成并发布一个最多支持百人同时协作的网页应用。该功能包含角色与权限管理、云端数据库、管理后台和在线发布,面向活动组织、家校协同及企业业务流程等场景,可用于资料收集、申请审批和任务进度跟踪。生成网页后,用户可以先验收成果,并在业务流程变化时继续通过自然语言进行修改。阿里云将其定位为 ERP、OA 或垂直行业 SaaS 的一种替

KB证券:三星电子、SK海力士内存库存已不足10天

KB证券分析称,三星电子和SK海力士本季度的内存库存已不足10天,两家存储芯片龙头将难以应对突发性需求增长并提供额外供应。全球超大规模数据中心企业的AI基础设施投资预计将在2027年达到1.3万亿美元,同比增长60%。其中,存储半导体占比可能从2025年的14%升至57%。由于HBM4相比通用DRAM和HBM3E消耗更多晶圆产能,其扩大生产可能进一步挤压整体内存供应。KB证券预计,到2027年,D

华为正式发布 HarmonyOS 7,搭载系统级智能体小艺

华为正式发布 HarmonyOS 7,并开启公测。新系统采用全新的空间美学设计语言,搭载 Harmony Intelligence 架构,整合云端与端侧大语言模型、应用功能以及多层记忆架构。系统级智能体小艺将支持浏览器助手、通知聚合、智能录音、智能短信和游戏伙伴等场景,并可通过自然语言指令调用系统功能。安全方面,HarmonyOS 7 新增基于 AI 的境外诈骗电话、变声和风险网页检测功能,还支持

OpenAI 同日发布两份文件:AI 加速 AI 研发,但安全措施正在掉队

OpenAI 发布两份文件,分别介绍 AI 辅助研究的进展,以及前沿 AI 发展带来的安全挑战。公司称,“自动化研究实习生”可在人类指导下完成原本需要熟练研究人员数天才能完成的明确研究任务。使用编程智能体的研究人员,每日推理费用中位数已超过 600 美元,使用量最高的 10% 用户每天花费超过 7000 美元。不过,OpenAI 承认,许多持续时间较长、更加复杂的任务仍需要人工介入。首席科学家雅库

Enoki:高效的多层次幻觉检测框架

研究人员推出 Enoki,这是一种用于检测大语言模型幻觉的开放信息抽取框架,可同时处理声明级和文本片段级检测。系统提取与文本锚定的关系事实,通过证据进行验证,并将缺乏依据的事实映射回出现幻觉的具体文本片段。共享表示避免了单独构建声明与片段对齐流程。Enoki 支持基于大语言模型、编码器和规则的抽取方式,可在准确率与推理成本之间进行权衡。实验显示,该框架以更少资源取得了具有竞争力的声明级验证结果,并

澳大利亚拟立法允许用户关闭社交媒体推荐算法

澳大利亚政府计划本周提出《数字平台注意义务法》草案,允许用户关闭社交媒体平台的推荐算法。通信部长阿妮卡·韦尔斯表示,如果 Meta、谷歌和 TikTok 等企业不提供这一选项,可能面临高额罚款。该法案旨在为此前缺乏类似规范的社交媒体行业建立基本规则。部分反对党人士已对该计划提出质疑。政府将听取专家意见,再决定是否要求用户主动选择开启或关闭推荐算法。

微信小范围测试可跨账号沟通的AI智能体功能

据报道,微信正在小范围测试“ 小微AI社交”功能。用户可向自身账号下的小微下达指令,由其寻找目标好友的小微并代为沟通。获得对方授权后,两个AI智能体可以交换信息、协同处理需求;涉及重要决策时,仍需用户进行人工确认。腾讯目前尚未正式回应这一消息。小微此前已支持通过自然语言操作部分微信功能,包括发消息、打电话、搜索内容、使用小程序,以及提供聊天总结和回复建议。

OpenAI宣布“自动化研究实习生”里程碑:内部智能体运行时长达人工的3.1倍

OpenAI表示,其内部系统已达到“自动化研究实习生”里程碑。在人类监督和指导下,该系统能够完成资深研究人员通常需要数天处理的、定义明确的复杂任务。截至8月中旬,OpenAI核心研究组织中,每投入一个人类工作日,智能体的运行时间相当于3.1个智能体工作日。不过,这一比例衡量的是运行时间和工作量,并不等同于相同的生产力或实际产出。OpenAI员工Kevin Liu认为,递归式自我改进可能成为未来几年

火山引擎内测AI版权平台,Seedance转向IP商业化

据《娱乐资本论》报道,字节跳动旗下火山引擎近日邀请多家版权方参与AI版权管理平台内测。品牌方和短剧制作方可调用Seedance、Seedream等模型,使用已获授权的正版IP进行创作;版权方则可在后台完成监修、审核和交易管理。平台预计于今年下半年正式上线,提供面向消费者的模板创作和面向企业客户的自由创作两种授权方式。目前据称已有数十个头部IP签约,包括周星驰旗下比高集团相关影视作品。部分企业项目报