Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI 速览 Moonshot AI与Numina联合发布Kimina-Prover，将测试时强化学习搜索应用于大型形式化推理模型。
行业追踪 · 当日动态流 4 条报道
当日 24h 要点速览
-
Hugging Face · Moonshot AI与Numina联合发布Kimina-Prover，将测试时强化学习搜索应用于大型形式化推理模型。
-
Hugging Face · Hugging Face发布MCP Server，用于连接其模型与外部工具。
-
Hugging Face · ScreenEnv发布，支持部署全栈桌面Agent。
-
Hugging Face · 异步机器人推理通过解耦动作预测与执行，提升推理效率。
要闻精选
Building the Hugging Face MCP Server
AI 速览 Hugging Face发布MCP Server，用于连接其模型与外部工具。
ScreenEnv: Deploy your full stack Desktop Agent
AI 速览 ScreenEnv发布，支持部署全栈桌面Agent。
Asynchronous Robot Inference: Decoupling Action Prediction and Execution
AI 速览 异步机器人推理通过解耦动作预测与执行，提升推理效率。
社区音量 · 领军人物与专家观点 X / 社区精选
Demis Hassabis @demishassabis · 2 小时前
祝贺科研团队！将大模型多智能体诊断系统应用于真实前瞻性临床试验，取得令人振奋的准确度突破。
Andrej Karpathy @karpathy · 4 小时前
当端侧小模型的推理能力超越两年前的千亿大模型时，软件的系统架构将彻底重塑，智能体正在成为原生操作系统层。
Guillermo Rauch @rauchg · 6 小时前
毫秒级启动、与模型解耦的极简 CLI 工具是未来。内置 MCP、Skills 与子智能体后，终端将重焕新生。
Ethan Mollick @emollick · 8 小时前
如今已有十余款可在现代移动设备上全本地运行的紧凑模型，整体表现逼近甚至超越昔日的 GPT-4 基准。
产品发布 · Show HN & Product Hunt 当日发布
Argus
▲ 12Argus开源安全平台发布，旨在防御代理型攻击（agentic attacks）。
通过CVE-2022-22706漏洞实现对TCL Android TV的自主root。
Corgi 是一个在 Show HN 上发布的 {agent, terminal} 多路复用器。
在Hacker News上展示：针对含随机元素的益智游戏Drop7，搜索最优策略。
开源热榜 · GitHub Trending Trending
专为智能体打造的轻量技能协议工具包，支持极简 npm / npx 直接调用。
功能完备的本地模型交互与多智能体统一管理控制台界面。
微软官方 1-bit LLM 推理与训练框架，针对能效与端侧极致优化。
低显存环境下运行超大参数模型的分层推理引擎，大幅降低本地部署门槛。
模型生态 · OpenRouter 调用排名 & 新模型 24h 统计
Top 模型调用份额 (Tokens)
01
DeepSeek V4.1 Flash DeepSeek · 6.02T
02
Step 5 Preview StepFun · 3.25T
03
GLM 5.3 Flash Zhipu AI · 2.03T
04
Claude Opus 5.5 Anthropic · 1.42T
05
GPT-6 Luna OpenAI · 1.18T
06
Nemotron 3 Ultra NVIDIA · 1.05T
近期模型上线与定价
Muse Wonder Meta · 1.0M ctx · 今日
$4.00 / $20.00 Nemotron 3.5 Bolt NVIDIA · 256k ctx · 昨日
免费调用 MiniMax Abab 7 MiniMax · 512k ctx · 前日
$0.80 / $2.40 融资并购 · 创投交易 当日记录
战略交易 创投披露
比特币周末跌破8万美元，因美国在中东进行人员撤离引发市场压力。
VentureAI Deal
战略交易 创投披露
LG已提前启动黑五促销，55英寸C6 OLED电视降价400美元，活动持续至11月1日，涵盖多款回音壁产品。
VentureAI Deal
$150M 创投披露
Franklin Templeton在XRP Ledger上新增1.5亿美元基金份额，全部存入单一钱包。
VentureAI Deal