OpenFrontiers:开放研究问题集合与科学再发现基准
研究者发布 OpenFrontiers,收录 12151 个跨学科开放研究问题,并构建数学领域 200 题回顾性基准(其中 110 题已在 2026 年解决),用 Lean 4 形式化与自动检查评估大模型能否独立“再发现”已有解答。
ThinkJev: One Thought, Every Budget for Calibrated Typed Decisions
arXiv:2610.37732v1 Announce Type: new Abstract: Many uses of language models end in a typed decision: a choice
面向模型校准的摊销式局部后验推断及其在海洋湍流闭合中的应用
研究提出摊销式局部后验推断:按上下文邻近度加权观测似然,用条件归一化流近似一族后验,并在海洋湍流闭合校准中降低温度与纬向速度误差。
LRMoE:面向显存受限节点的需求侧负载重校准 MoE 高效训练
LRMoE 是显存感知的稀疏专家模型训练系统,在前向规划专家保留配额与放置,反向按贡献重校准负载并压缩通信,在受限 GPU 上降低训练时间。
当AI从“会想”走向“会干”——腾讯云与英特尔共筑Agentic AI执行新底座
腾讯云与英特尔围绕Agentic AI(智能体AI)展开合作,共同打造面向智能体执行的底层算力与软件底座,推动AI从单轮对话生成走向可自主规划、调用工具、完成多步骤任务的“会干”阶段,为企业在云端落地智能体应用提供基础设施支撑。
一边拥抱 JDK 27,一边保留 JDK 21:Helidon 开启双轨发布
点击查看原文>
每天上千万次创建:Agent Sandbox 为什么会成为新算力形态?
文章讨论 Agent Sandbox(智能体沙箱)每天被创建上千万次的现象,分析其为何正演变为一种新的算力形态:AI 智能体执行代码与工具调用需要大量短生命周期、强隔离的运行环境,云算力的调度单元和计费方式随之改变。
国行 Apple 智能正式官宣,完整版 Siri AI 仍需等待
苹果面向中国大陆市场的 Apple 智能(Apple Intelligence)功能正式官宣,将随系统更新分批落地;但接入大模型、能力更完整的 Siri AI 仍未就绪,国行用户还需继续等待。
DeepSeek 重磅发布全新 Agent 架构:AI 开始指挥 AI 干活
DeepSeek 发布全新 Agent 架构,核心是让 AI 调度 AI 协同完成任务,而非由人逐步下达指令。这标志着智能体从单兵作战走向多智能体分工,人类在流程中的角色随之改变。
EmbeddingGemma 2:Google 把五种模态塞进同一个向量空间
Google 发布 EmbeddingGemma 2 嵌入模型,把文本、图像、音频、视频与文档等五种模态映射到统一向量空间,开发者用一套检索管线即可完成跨模态搜索与聚类。
è¿å»ä¸çå½±ç³ï¼æ»å»æ§å¼ºï¼è¡æ¡å¤ªè ï¼
å½±ç³å¹¶ä¸ç¼ºæåæ äºã åä¸å¹´åï¼å¹´è½»çå½±ç³ä»¥ç ´å±è çå§¿æï¼åå ¥å ¨æ¯ç¸æºè¿çæ
æé£é£æçä¸ä¸ªãåãï¼ä» ImageNet å°ç©ºé´æºè½ï¼è¿ä¸æ¬¡å¥¹ä¼æä¹å¡«ï¼
82 亿ç¾å ï¼å·²ç»ä¸ºæ´ä¸ªä¸ç模åèµéæä¾äºä»·å¼éç¹ã ä½è 丨 å¹¸ä¸½å¨ ç¼è¾ä¸¨å² å³°