➡️
继续阅读
-
机器人不能停下来等模型：星尘发布 SmoothRL，让在线强化学习跟上大模型的异步推理
星尘智能发布SmoothRL框架，解决真实机器人异步执行中的在线强化学习问题。该框架仅对实际执行的动作进行学习，并保持训练与部署节奏一致。在投掷、戴笔帽、...
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明，生成约1300万行Lean代码和超3万个中间定理，规模超Mathlib五倍。通...
-
【Rust日报】2026-09-05 OpenVMM 跨平台 Rust VMM 进展
微软开源跨平台Rust虚拟机管理器OpenVMM，支持x64与AArch64架构，增强KVM、MSHV后端及设备仿真，机密计算优化使TDX开销降至1%。另...
-
Christophe Pettus: All Your GUCs in a Row: log_startup_progress_interval and log_recovery_conflict_waits
Track WAL replay progress on a primary, or diagnose why a standby stalled—two...
-
早报｜苹果将迎来史上最大产品发布潮/微信小微内测Agent间沟通/何庭波发布「韬定律」新论文
苹果将迎来史上最大产品发布潮，包括折叠屏iPhone和iPhone 18 Pro；GPT-6 Astra全量发布；Anthropic用Claude完成费马...
-
2026 09 05 HackerNews
OpenAI发布GPT-6 Astra，号称最智能且对齐最好的模型，在多项基准测试中表现优异，几乎无越权行为，已开始向部分用户推出。同时，研究发现Open...
