「数学推理测试」共找到 3543 篇相关文章
刚刚，Anthropic王炸Claude泄露！全面碾压Opus 4.6引爆全网
因「人为配置」错误，Anthropic最强模型Claude Mythos细节泄露。它编程、推理能力超Claude Opus 4.6，还具备网络攻防能力，但也带来安全风险，Anthropic因担心被黑客利用暂未发布。
ICLR 2026 Oral | Revela：用语言建模重新定义稠密检索器训练
在检索增强生成系统中，稠密检索器是核心组件，但传统训练方法有局限。德国达姆施塔特工业大学蔡丰宇团队提出Revela，将检索器训练目标统一到语言建模框架，优势明显，实验效果佳。
寻找最强具身大脑！全球机器人顶会ICRA开启报名，智元全程陪跑带你拿奖
由智元主办的AGIBOT WORLD CHALLENGE @ICRA 2026赛事开启报名，设推理 - 操作和世界模型两赛道。智元提供顶配硬件、仿真平台、数据集和基线模型，还有超百万美元奖金与资源，助力开发者。
360 如何用 AutoMQ 解决千亿级 Kafka 冷读难题
360 集团作为互联网安全公司，业务数据规模膨胀，Kafka 集群运维难题凸显。AutoMQ 存算分离等特性适配 360 需求，360 验证其性能后用于日志检索平台，解决冷读难题，未来将推广到更多业务线。
不只OpenClaw，这个app让你同时拥有龙虾和云手机
作者在OpenClaw主题直播中翻车，后发现RedClaw app可免配置免费体验OpenClaw。它提供云手机和AI，能突破移动端数据孤岛。作者测了3个场景，虽有不足，但认为方向正确，值得关注。
逐项解读黄仁勋GTC演讲：Vera Rubin、token王、英伟达“龙虾”、太空计算和雪宝｜甲子光年
美国当地时间3月16日，英伟达创始人黄仁勋在GTC 2026演讲，发布五项重要技术，包括下一代AI计算平台Vera Rubin等。他想让英伟达成AI基础设施公司，强调token成本，认为AI工厂是工业基础设施。
Claude 新增交互式图表和示意图，免费能用
Claude 新增交互式图表和示意图功能，付费与免费用户均可在聊天中直接生成。通过虚构建筑系学生 Andrea 的使用场景展示，如职业探索卡片、结构力学荷载图等，将工具嵌入成长故事线。
ICLR 2026 | LongHorizonUI：让 GUI 智能体不再"半途而废"——面向长链路任务的统一鲁棒自动化框架
近年来，基于多模态大语言模型的GUI智能体在自动化操作上虽有进展，但任务步数超10 - 15步时成功率断崖下跌。研究人员提出LongHorizonUI框架，构建LongGUIBench评测基准，推动GUI自动化在复杂场景落地。
能导出 PSD 的 AI 设计工具，出现了
国内 Seede AI 团队发布海外新产品，无需写咒语，填文案信息就能让 AI 搞定排版等。它生成可编辑源文件，适合有内容但不会设计的人，还支持多格式导出，不过不擅长创意生图。
刚刚，Gemini攻克「宇宙弦」终极难题！AI科学家最优雅解法震撼物理学
Google Research团队用Gemini Deep Think + 树搜索框架，攻克理论物理领域宇宙弦引力辐射功率谱精确解析解难题。AI探索600条候选路径，找出6种解法，最优雅的格根鲍尔方法让物理学家拍案叫绝。