8h ago 8小时前
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded [AI新闻] OpenAI报告在88小时内利用Astra-next发现纳维-斯托克斯奇点,约10,000个智能体和1300亿token(超4000万美元),有望成为第二个千禧年大奖获得者
OpenAI-affiliated accounts claimed an AI-assisted effort produced a Navier-Stokes result through collaboration of approximately 10,000 agents trained ... OpenAI声称通过约10,000个AI代理协作,使用多智能体强化学习,在88小时内解决了纳维-斯托克斯存在性与光滑性问题(千禧年大奖难题之一)。
该成果强调并行测试时计算和模型自组织,而非单一长链证明尝试,标志着AI在复杂数学研究中的潜在突破。
声明缺乏正式论文、证明草稿或独立验证,数学界接受度尚...
Closed Source 闭源 LLM 大模型 Agent Agent Research 科学研究 Funding 融资
8h ago 8小时前
N-able N-central Pre-Auth RCE Flaw Exploited in the Wild N-able N-central 预认证远程代码执行漏洞遭现实利用
CVE-2026-86218 is a critical CVSS 10.0 static code injection vulnerability in N-able N-central enabling pre-authentication remote code execution
CISA ... CISA将N-able N-central的CVE-2026-86218静态代码注入漏洞(CVSS 10.0)加入已知利用漏洞目录,要求联邦机构在2026年9月11日前完成修复
该漏洞为预认证远程代码执行漏洞,已在野外被观察到实际利用,N-able已发布N-central 2026.3 Hotfix...
Security 安全
9h ago 9小时前
Generalizing HVAC Control With Domain Randomized Reinforcement Learning 通过域随机化强化学习泛化HVAC控制
NOMAD-RL introduces a general-purpose RL controller for HVAC systems that transfers across heterogeneous thermal zones via a universal, non-invasive t... 提出NOMAD-RL(Neural Online Meta-Adaptation for Dynamics),一种通用强化学习HVAC控制器,可通过非侵入式恒温器接口跨异构热区迁移
核心创新是基于物理信息归一化流的自适应域随机化方案,建模热区参数的相关性和多模态分布,同时保持物理合理性与可控性
在单...
Research 科学研究 Training 训练 Deployment 部署
9h ago 9小时前
Intra-Prompt Parallel Decoding for Common-Context Question Answering Intra-Prompt Parallel Decoding for Common-Context Question Answering
Intra-Prompt Parallel Decoding (IPPD) enables multiple common-context questions to be answered in parallel within a single prompt, eliminating the mem... 提出Intra-Prompt Parallel Decoding (IPPD)方法,在单个提示内并行处理多个共享上下文的问答问题
通过虚拟位置ID和注意力掩码操作实现并行解码,无需微调或修改LLM架构
实验显示IPPD最高可达标准解码7倍的有效吞吐量,且无质量下降
解决了GPU在注意力计算时的显存瓶...
9h ago 9小时前
Some Tokens Behave like Magnets: Revealing Linguistic Organization in the Layers of Language Models Some Tokens Behave like Magnets: Revealing Linguistic Organization in the Layers of Language Models
Researchers identify "magnetic vectors" in LLMs—special token vectors that organize surrounding tokens through attraction (elongation) or repulsion (c... 提出“磁向量”(magnetic vectors)概念,发现LLM内部存在能吸引或排斥周围token的特殊向量组。
吸引型磁向量会使同向token几何拉伸,排斥型则使其压缩,形成类似物理磁铁的对立空间组织模式。
功能词在模型浅层稳定充当排斥磁,深层磁向量会随任务需求重新组织极性分布。
下游任务微调后...
9h ago 9小时前
Planning and Scheduling Business Processes under Control-Flow Uncertainty Planning and Scheduling Business Processes under Control-Flow Uncertainty
Business process scheduling is complicated by control-flow uncertainty, where activity sequences depend on data emerging during execution
The problem ... 业务流程调度因控制流不确定性而变得复杂,其中活动序列取决于执行过程中产生的数据
该问题被构建为机会约束优化问题,有两种形式:分解式(两阶段)和集成式(单一形式)
分解方法将规划(在可行性约束下最小化多余活动)与调度(最小化完工时间)分离
集成方法实现了更优的完工时间,但在规模扩大时变得难以处理,而分...
12h ago 12小时前
Dynamic Creatures Emerges From Stealth to Develop Interactive Robots for Entertainment and Hospitality Dynamic Creatures 从隐身中现身,开发面向娱乐和酒店业的互动机器人
Dynamic Creatures emerged from stealth as a mobile character robot company for entertainment and hospitality, backed by Eniac Ventures, Kindred Ventur... Dynamic Creatures从隐身状态走出,专注于开发用于娱乐和酒店业的移动角色机器人,获得Eniac Ventures、Kindred Ventures、Heliad等多家机构投资
作为Boston Dynamics官方娱乐与酒店合作伙伴,公司定位介于固定动画人偶与任务型服务机器人之间,实现...
Robotics 机器人 Product Launch 产品发布 Funding 融资
12h ago 12小时前
Quoting Terence Tao 引用陶哲轩
Open, fruitful research problems are being treated as a non-renewable resource, with AI rapidly "flattening" them before original researchers can full... AI正在以非可再生方式开采"好的开放问题",导致这些问题的稀缺性增加
即使关于某人正在研究某个问题的传言,也能触发大量AI驱动的努力在原始研究项目发挥潜力之前将其"平摊"
激励措施正指向不再与更广泛的社区分享有前景的研究方向
这可能逆转几个世纪的开放科学传统,并对该领域的未来造成严重的长期损害
Research 科学研究 Ethics 伦理 Policy 政策
13h ago 13小时前
AI Has Solved One of Math's $1M Millennium Prize Problems AI解决了数学界百万美元千禧年大奖难题之一
OpenAI mathematicians deployed 10,000 autonomous AI agents running on a proprietary advanced model to discover a "singularity" (blowup) in the three-d... OpenAI使用10,000个自主AI代理在专有高级模型上发现三维Navier-Stokes方程存在奇点,解决了千禧年大奖难题之一
证明已通过Lean编程语言形式化验证,是迄今AI模型取得的最重要数学证明成果
12小时后,NYU与Anthropic团队也宣布利用AI模型解决了多个相关问题
突破核心依...
LLM 大模型 Research 科学研究 Agent Agent
13h ago 13小时前
On the Navier–Stokes Millennium Prize Problem 关于纳维-斯托克斯千禧年大奖问题
OpenAI claims to have resolved the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, using an unreleased int... OpenAI使用未发布内部模型在88小时内解决Navier-Stokes存在性与光滑性千禧年难题,消耗约1300亿输出token
NYU数学教授Tristan Buckmaster与Anthropic研究员Levent Alpöge指控OpenAI在得知其研究进展后快速跟进,存在学术抢发嫌疑
Ope...
LLM 大模型 Closed Source 闭源 Research 科学研究 GPT GPT
13h ago 13小时前
AI Fundamentals: Attention Mechanisms in Transformers (Part 1) AI基础:Transformer中的注意力机制(第一部分)
Attention is a mathematical mechanism that allows transformers to measure relationships between tokens, enabling context-aware representations rather ... 文章系统性地解析了Transformer注意力机制的核心原理,涵盖缩放点积注意力、全局/局部注意力、自注意力、因果自注意力等关键概念
详细介绍了Q、K、V向量的计算方式及其在多头注意力机制中的共享策略,包括MHA、MQA和GQA的对比分析
提供了缩放点积注意力的PyTorch实现代码,展示了mask...
LLM 大模型 Research 科学研究 Training 训练
13h ago 13小时前
Chinese AI Companies Conducting Distillation Campaigns Against U.S. AI Companies 中国AI公司对美国AI公司开展蒸馏攻击行动
US Department of Defense document alleges China-based AI companies are conducting "malicious distillation" attacks against US-developed AI models to e... 美国国防部文件指控中国境内的AI公司正对美国开发的AI模型实施"恶意蒸馏"攻击,以窃取专有能力和模型权重
该技术涉及策略性地向美国AI系统发起查询,未经授权地逆向工程并复制模型行为、知识和架构
报告将此定性为国家安全与经济竞争力威胁,警告美国向中国的AI能力转移正在加速
国防官员呼吁加强监控、输出水...
Security 安全 LLM 大模型 Research 科学研究 Policy 政策