AI做数学题时,脑子里到底在想什么
论文提出SHAPE框架,借数学教育学的语义空间与启发式概念,拆解AI解题的思维轨迹,发现策略比表面特征更能预测答案对错,且RL后训练会让策略使用趋于收窄,启发式提示可提升训练效果。
论文提出SHAPE框架,借数学教育学的语义空间与启发式概念,拆解AI解题的思维轨迹,发现策略比表面特征更能预测答案对错,且RL后训练会让策略使用趋于收窄,启发式提示可提升训练效果。
论文提出图像捆绑组合IBC新范式,突破传统逐张打分检索局限,构建IBCBench基准数据集,并提出BundleWeaver智能体框架实现动态照片组合检索,精确匹配率大幅超越现有方法。
研究者搭建3D游戏环境MineAmongUs,让AI在《among us》中同时展现语言和肢体欺骗行为,归纳出23种骗术并验证:非语言的伪装与杀人时机把控,比编造谎言更能决定胜负。
论文提出VAT训练框架,通过模拟验证过程和动态权重分配,让投机解码的草稿模型学会预判自身是否会被目标模型拒绝,在EAGLE-3和DFlash上实现最高11.4%接受长度提升和8.7%推理加速,且无需改动模型架构。
NVIDIA发布CUDA Toolkit 13.4,新增Windows on Arm支持、Rubin架构预览、MPS V3及CCCL 3.4等多项GPU开发与性能优化功能。
NVIDIA介绍Dynamo框架的Encode-Prefill-Decode解耦技术,在图像密集、短中等输出及量化MoE模型场景下可将首token延迟降低最高5倍,端到端响应提速最高7倍。
初创公司Cymphony完成2500万美元A轮融资,由Sequoia等领投,估值超1亿美元,专注解决AI代理带来的企业身份与数据安全风险。
Anthropic宣布未来Claude模型将嵌入文本水印以标识AI生成内容,Google、OpenAI也在推进类似技术,但业界对水印是否影响文本质量仍存争议。
Suno发布新模型系列Suno v6,改用华纳、BMG等授权音乐数据训练,此前该公司因版权问题遭多家唱片公司起诉,且承认曾用YouTube视频训练模型。
初创公司Besxar利用SpaceX猎鹰9号火箭在轨道试验半导体制造,已完成首批晶圆样本测试,未来计划借Starship扩大生产规模。
Instacart推出AI助手Clementine,可将对话、清单或食谱自动转化为购物车,并支持个性化推荐与手写清单识别。
e-con Systems详解ToF相机时域滤波原理,对比IIR、中值均值与自适应均值滤波算法,探讨降噪效果与运动模糊间的权衡及应用场景选择。
美国数据中心2025年用电量同比增长25.5%至312.6太瓦时,远超全美发电量3.2%的增速,电力可用性已成为数据中心选址的首要因素,开发商开始转向自备电力等混合供电方案。
随着AI辅助芯片设计普及,企业开始关注token使用效率与成本控制,推动开源模型、模型路由及流程封装等技术发展,以替代无限制使用前沿大模型。
Counterpoint Research分析师在Embedded Vision Summit指出,Robotaxi市场正快速扩张,现有企业加速拓城,新公司不断进入,行业创新加速。
Brainomix的e-Lung AI工具分析了Endeavor BioMedicines特立地吉(ENV-101)二期临床试验中34名患者的CT影像,结果显示该药显著改善肺容积并减少纤维化程度,为其治疗特发性肺纤维化的...
Anthropic离职研究员Jacob Coxon称AI公司在无节制竞速开发自我改进的超级智能系统;该实验室安全团队负责人Evan Hubinger回应称,他也认为未来十年内AI导致全人类死亡的概率超过10%,但公司目前...
多国网络安全官员在Billington峰会上表示,尽管AI提升攻击与防御能力,但身份管理、补丁更新等基础安全措施仍是防范攻击的关键,不应被AI热潮分散注意力。
Elroy Air旗下Chaparral货运飞机在FAA试点计划下完成首次全自主无人驾驶飞行,可载重500磅、续航450英里,公司已获超1400架订单意向。