面壁智能 OpenBMB 推出 MathForm,面向 Lean 4 数学自动形式化的开源框架、数据集与模型
面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。
机器手书 · 不着一彩 · 原文可溯
0 美国财政部长贝森特压制长端美债收益率的努力,对市场的直接影响仅维持了不到一天。
面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。
SGLang 团队推出 Weight Cache Daemon,通过 CUDA IPC 零拷贝映射将模型权重加载从约 495 秒降至约 0.63 秒(约 785 倍加速),端到端启动时间减少 93.9%。
Anthropic 宣布 Claude Mythos 5 现已集成至 Claude Security,并即将登陆合作伙伴的网络安全防御工具。
xAI 宣布 Grok Bot 现包含于所有 SuperGrok Plus、Cursor Pro+ 及 Cursor Teams 计划,此前该功能于 8 月 11 日以 beta 形式推出。
0 新京报贝壳财经讯(记者程靓)8月20日,北京人形机器人创新中心有限公司(以下简称“北京人形”)在2026世界机器人大会“具身觉醒·慧生万象”具身智能应用创新主题活动上,正式发布大一统模型与新一代产品天工Omni,并完
从“上场”到“进厂” 资本加码押注人形机器人产业化前景-国际在线 从“上场”到“进厂” 资本加码押注人形机器人产业化前景 记者8月20日从2026世界机器人大会获悉,今年上半年,中国人形机器人出货量已超4万台,全球占比进
Exa 搜索(Exa)是一家专注于人工智能驱动的网络搜索引擎初创公司,其核心产品旨在为 AI 模型和开发者提供高度相关的网页数据。
0 昨晚国际油价继续上涨,美国财长再次干预债市但没能阻止美国30年期国债收益率反弹,沃尔玛业绩暴雷拖累美股消费股,美国股债双杀,道指、纳指均跌超1%。
(来源:汇丰晋信基金 汇丰晋信基金) 本周市场回顾 本周A股经历“放量大涨—高位分歧—恐慌下跌—缩量修复”的剧烈波动周期。
牛市踩刹车!贝森特“救市”有效期仅一天,美债、美股齐跌 2026年08月21日 07:36 市场资讯 昨夜今晨,随着美国财政部稳定债市的效果迅速消退,美股三大指数随之下跌。
文章来源:汇通财经 在美国财政部出人意料地干预债券市场后,两位美联储官员周四(8月20日)被问及此举可能如何影响货币政策时,均谨慎作答,强调美联储独立制定货币政策,不受债务管理或财政政策影响。