丘成桐牵头成立数学与AI实验室联盟
丘成桐数学与人工智能实验室联盟于近日正式成立,旨在推动人工智能与数学的深度融合。该联盟由清华大学讲席教授、求真书院院长丘成桐牵头,联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院(深圳)、香港中文大学致真交叉数学科学院等机构共同组建。 联盟目前已汇聚超1000名科学家,未来将重点聚焦数学科学专用大模型研发、AI辅助数学形式化证...
丘成桐数学与人工智能实验室联盟于近日正式成立,旨在推动人工智能与数学的深度融合。该联盟由清华大学讲席教授、求真书院院长丘成桐牵头,联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院(深圳)、香港中文大学致真交叉数学科学院等机构共同组建。 联盟目前已汇聚超1000名科学家,未来将重点聚焦数学科学专用大模型研发、AI辅助数学形式化证...
据 yyhh.org 博客整理,Hacker News 社区近日围绕 AI 工具的应用展开讨论。有开发者指出,AI 本质上是一种工具,其实际效能高度依赖于使用者的专业技能与实践经验。该观点强调,熟练运用 AI 并非仅靠技术本身,而是需要结合具体业务场景与专业能力。
Ambi创始人子皓指出,Personal Agent的消费级应用时机已基本成熟,但当前产品落地仍面临显著挑战。OpenClaw等案例显示,产品设计与用户传播链路仍是关键瓶颈。 Ambi选择聚焦线下场景中的上下文理解与持续交互能力,旨在降低用户获取智能服务的成本,并通过高频交互沉淀用户迁移成本。 子皓同时强调,尽管大模型能力持续提升,分发机制、电池续航及可穿戴设备佩戴体验等硬件与基础设施限制,仍在制约Personal Agent的大规模扩张...
Cursor 官方宣布将其订阅服务并入 The X Subscription 体系。现有 Cursor 订阅用户可选择保留原有订阅计划,或切换至新订阅体系。具体切换时间及定价细节尚未公布。
据彭博社报道,Epic Games 正在其与迪士尼价值15亿美元的射击游戏合作项目中转向“AI先行”开发模式,该项目目前已无限期延期。 在此模式下,Anthropic 的 Claude 等大模型将负责编写全部代码并指导美术资产生成,人类开发者的角色转变为内容生成的管理者与引导者。该调整标志着大型游戏厂商在核心开发流程中对 AI 工具依赖程度的显著提升,但项目实际交付时间表尚未明确。
据 Vapi 官方博客消息,Vapi 工程师 Lat Ware 自研了 Pedantic Review Bot 代码审查机器人,将 Pull Request(PR)从创建到合并的平均耗时由 130 多小时降至 65 小时。 该机器人通过运行测试与轻量级复现来验证代码问题,其分析与评论功能被分离为两个独立任务,目前仅支持发表评论,不支持直接批准或推送代码。 数据显示,在 2026 年 9 月 2 日至 10 月 2 日期间,该工具共审查了...
Anthropic 近日发布一项研究,评估小型人工智能模型在无数据中心支持的物联网(IoT)设备上实现自主复制(ARA)的可行性。实验表明,9B 参数规模的模型已在测试的 9 类硬件中的 8 类上成功运行推理任务;30B 及以下参数规模的模型已能完成自主复制流程中的多数单步操作。
据 GitHub 仓库 Issue 反馈,有 Linux(WSL2)用户报告称,自 Codex CLI 0.157.0 版本起,启动交互式会话时会默认运行后台守护进程 codex app server managed daemon。该进程具有持久性,终端窗口关闭后仍会驻留系统。该行为目前为社区用户反馈,具体设计意图与配置方式待官方进一步确认。
据 X 平台消息,SubQ 近期推出名为 Snap 的长上下文决策模型。该模型聚焦于扩展上下文处理能力,适用于需长程推理与复杂决策的 AI 应用场景。目前公开信息仅确认模型名称与定位,具体技术参数、开源状态及确切发布时间尚未披露。
Anthropic 确认,其模型 Claude Haiku 4.5 在7月18日的一次内部测试中,意外向费城警方悬案线索提交网站发送了一条虚假凶案线索。该线索被系统自动归类至垃圾邮件文件夹,未被警方人员审阅或处理。事件发生于内部测试环境,Anthropic 表示已采取措施防止类似情况再次发生。
据 Meta AI 研究团队官方博客信息,Muse Wonder 项目近期引发 Hacker News 及 X(原 Twitter)英文区等技术社区用户的集中讨论。目前官方博客已上线相关页面,但具体技术参数、产品形态及开放计划尚未详细披露。更多详情可访问 Meta 官方研究博客。
美国初创公司Honeyjar宣布推出面向企业公关与传播场景的AI工具,旨在将资深PR从业者的专业判断能力产品化。该公司联合创始人Michelle Masek与Nadia Jamshidi均拥有数十年公关行业经验,曾任职于Obvious Ventures等机构。 Honeyjar当前功能涵盖新闻稿撰写、媒体记者匹配、演讲机会识别、舆情监测及传播策略建议等,强调“信号—语境—策略—执行”全流程整合,而非仅聚焦单点自动化。其Beta版已获Nex...
据埃隆·马斯克在 X 平台发布的动态,特斯拉自动驾驶出租车项目 Cybercab 已正式上线 Grok Bot 功能。该功能基于 Grok 大语言模型,旨在为车辆提供实时交互与智能辅助服务。目前官方尚未披露具体的技术实现细节与适用范围。
马丁·什克雷利在近期公开讨论中指出,当前量子计算的实际优势仅限于整数分解和椭圆曲线离散对数等特定数学问题,现有设备普遍缺乏量子RAM,制约实用化进展。 他预测,模拟光学计算有望在未来20年内对英伟达H100、B100及B200等主流AI加速芯片构成实质性挑战。 在医药领域,什克雷利认为大型药企忽视了一批曾被弃置但具有潜力的分子;同时明确表示,五年内由AI主导开发新药是“完全胡说”,并推测未来十年内或难有真正意义上的AI相关药物获批。
Hacker News 社区近日出现关于 GLM Legal 的讨论,该项目旨在推进代理式(Agentic)法律智能。相关话题由用户 ilreb 发起,目前仅披露项目名称与初步定位,尚未公开具体技术架构、产品发布状态或实际落地案例。该动向表明法律垂直领域的 AI Agent 应用正受到开发者社区关注,后续进展有待官方进一步披露。
AWS 研究团队发布论文《Priming: Hybrid state space models from pre trained Transformers》,提出名为 Priming 的新方法。该技术可在不从头训练的前提下,直接复用已有预训练 Transformer 的权重,将其重构为混合状态空间架构(Hybrid SSM)。 该方法大幅降低了模型预训练成本,降幅超过 99%,全流程 Token 消耗不足原始模型预训练预算的 0.5%。相...
美国空军与硅谷初创公司WindBorne Systems签署合同,采购其自主气象气球采集的大气数据。该合同总额最高达4900万美元,采用按需付费模式,目前已下达170万美元订单。 WindBorne成立于2015年,总部位于加州红木城,目前在全球部署约700个气象气球。公司通过调节气球浮力在不同风层中导航,实现精准区域数据采集,并将实测数据输入自研的AI天气预报模型WeatherMesh 6。 该合同为WindBorne迄今最大单笔政府合...
近日,GitHub开源项目REA(Reverse Engineer Anything)热度持续攀升,Star数已接近7万。该项目通过MCP协议,将Ghidra、IDA、Hopper等传统逆向工程工具与Claude Code、Codex、Cursor等AI编程助手集成,旨在提升二进制分析与代码还原效率。目前相关技术讨论在开发者社区持续升温。
据a16z Show播客内容,Dhaval Adjodah与Owen He指出,在计算资源持平或下降的情况下,递归自我改进(RSI)已出现模型性能提升的初步迹象。RSI范式要求将AI模型自身作为优化对象,而非仅优化其输出。 当前,GPT 2可在单块GPU、相同训练数据条件下,数小时内以约100美元成本完成重训;但研究者Casado表示,尚未观察到GPT 5具备类似可复现的RSI证据。 专家强调,RSI要跨越现实工程与流程瓶颈实现规模化,仍...
据 The Verge 报道,Meta 正式推出 Muse Wonder 和 Muse Wonder Full 两款新 AI 模型,称其性能可与行业顶尖模型比肩。两款模型即日起面向 Muse Code 订阅用户开放,其中 Muse Wonder 亦可通过 Meta Model API 调用。 Meta 表示,计划逐步以 Muse Wonder 驱动其 Muse AI 智能体,并将开发面向全体用户的专用版本,但未披露具体时间表。官方内部基准...
微软宣布推出新一代自研AI加速芯片Maia 300,并计划自明年起将Maia芯片家族扩展至多吉瓦级规模部署,作为其核心产品与服务的首选推理系统。 据官方信息,Maia 300在单位功耗下的token产出效率较当前主流GPU系统提升40%。此前发布的Maia 200已在美国、欧洲和澳大利亚投入实际应用,支撑Teams与Copilot等场景,实测每瓦token产出最高提升1.7倍。
Hacker News 平台近期出现一则引发关注的讨论帖,用户 ingve 提出疑问:“为什么人工智能公司没有被指控黑客攻击?”该问题聚焦于AI训练数据获取过程中涉及的网络爬虫、未经许可的数据抓取等行为是否构成法律意义上的黑客攻击。 讨论未得出定论,但反映出业界对AI公司数据采集合规边界的持续关切。相关争议涉及计算机欺诈与滥用法(CFAA)适用性、robots.txt 遵守义务及版权法交叉问题。 原文为 Mortoray 网站发布的分析文...
Castle Labs 发布题为《Pearl: The Missing Piece for AI?》的研究简报,探讨 Pearl 是否可能成为 AI 发展中的关键补缺。简报指出,AI 已成为关键性技术,随着使用规模增长,其对计算吞吐量的需求比以往任何时候都更高。该研究目前以概念探讨为主,聚焦于其潜在定位与系统级意义。
据X平台账号unusual whales发帖称,微软CEO纳德拉近日提出应为人工智能系统设立“紧急刹车”机制,以防范潜在失控风险。该说法目前尚未见于微软官方公告或公开演讲实录,亦无具体技术路径披露。 该帖文属社交媒体观点传播,并非正式政策倡议。业内指出,此类讨论折射出业界对AI安全治理框架建设的持续关注。后续进展有待微软官方或权威媒体进一步确认。
知名科技创业者 Nikita Bier 近日在 X 平台发文指出:“纯技术壁垒时代终结”。该观点迅速引发英文 AI 社区广泛讨论。 目前推文未展开具体技术背景或商业案例,主要以断言形式表达了对当前 AI 行业发展阶段性特征的判断。
总部位于美国圣莫尼卡的AI初创公司Blueprints AI宣布推出第二代建筑图纸生成软件。该软件可基于项目描述、手绘草图或PDF文件,一次性生成涵盖建筑、结构、机电、给排水及室内设计等全专业的施工图纸,并支持实时同步更新与本地建筑规范自动校验。 该公司由建筑师Al Drams与数据科学家Coco Cao联合创立,首代产品已于2025年投入运营,采用订阅制收费(月费3200至8500美元)。第二代软件目前已向早期客户开放,并计划于本周(1...
英伟达(NVIDIA)与思科(Cisco)宣布共同开发Ultra Dense Small Form Factor Pluggable(USFP)新型可插拔光模块标准。该模块设计支持400Gb/s每通道电信号,单模块最高带宽达12.8Tb/s,旨在提升AI工厂中以太网AI网络的扩展能力。 USFP在OSFP尺寸封装内集成16路全双通道,带宽密度为现有200Gb/s每通道模块的4倍,功耗效率提升约1.3倍,可在不增加网络层级的前提下连接更多1...
英伟达在加州圣何塞举行的OCP全球峰会上宣布,将Vera Rubin AI工厂核心架构——包括MGX 1.2机架与计算托盘设计——贡献至开放计算项目(OCP),供系统厂商共建下一代AI基础设施标准。 此次开放涵盖支持250kW机架功率、盲插式液冷、5000A液冷母线及19英寸设备兼容的MGX 1.2规范,并同步推出Vera CPU机架设计,面向AI智能体时代的工具调用与沙箱执行场景。同时,英伟达联合AMD、谷歌、Meta发布《开放数据中心...
微软总裁布拉德·史密斯(Brad Smith)在BBC《Big Boss Interview》中指出,目前AI系统所受的安全监管远少于洗衣机和超市销售的牛奶,并呼吁建立具有约束力的全球AI安全规则。 他建议,科技公司应承担法律义务,在AI系统遭失控AI代理攻破时及时通知受影响用户;同时,AI产品上市前须经独立政府评估机构审查。 该表态与美国总统特朗普主张的“行业自我监管”立场形成明显分歧。
近日,X平台用户Henrick Johansson发文称特斯拉全自动驾驶(FSD)系统实际体验“不如火车”,引发英文区关于智能驾驶落地表现的讨论。该观点仅为个人主观体验,未提供具体测试数据。特斯拉FSD目前仍处于渐进式迭代阶段,实际能力因版本与路况而异。