星动纪元VPP2登顶RoboDojo仿真榜单，综合成绩超越GPT-6-Astra等模型
星动纪元自研世界动作模型VPP2登顶RoboDojo仿真榜单，综合平均成功率32.26%、平均得分39.26分双双第一，领先GPT-6-Astra的22.48%和28.97分。
#GitHub
#GitHub
今日 0 条量子位AI 评分6262
Hacker News · AI 最新AI 评分5151 Pluto：用自然语言直接控制 MCU 硬件的端侧 AI 模型
Pluto 是一套可直接运行在 MCU 内部、用自然语言指令控制硬件的嵌入式智能系统，用户描述意图后由其解析为 GPIO、PWM、I²C、SPI、UART 等结构化硬件操作，无需为每个新任务编写传统固件。
36氪AI 评分6161 OpenAI 发布前沿大模型全新数学能力测试成果
OpenAI 通过 GitHub 代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
The Verge · AI精选AI 评分7676 OpenAI 发布又一批数学突破成果
OpenAI 公布了由一款未发布前沿模型产出的数学研究成果，共 722 篇手稿、覆盖 372 个结果族，据新成立的数学顾问组 AGMAI 称其中包含数百个开放问题的解答。
推荐理由：原文给出了这批成果的手稿数量、结果族规模与算力消耗估算，并呈现了数学界围绕发布伦理的争议，读者可据此判断此类成果的分量。
腾讯混元 · 官方公众号AI 评分6464 3.3GB 压到 440MB，混元极低 bit 翻译模型跑进直播弹幕
腾讯混元把 Hy-MT2-1.8B 翻译模型用 2-bit 与 1.25-bit 两套方案压缩至 574MB 和 440MB，翻译质量几乎无损，并联合英特尔完成 x86 算子适配、联合哔哩哔哩接入直播弹幕实时翻译。