1
用FROST家族治理模型，设计一个AI学习共同体
用FROST家族治理模型，设计一个"AI学习共同体" 作者 ：神通说 日期 ：2026-07-15 主题 ：双项目联动 | 周三轮换 阅读时间 ：10分钟 缘起：一个人做培训，最怕什么？ 最近我在做一个训练营项目——"破局·动态能力生长实战营"。 一个人做培训，听起来很美好，但实际操作起来， 光是每…
2
OS-Pruner: Pruning Chains-of-Thought of Reasoning Models via Optimal Stopping
针对大模型CoT推理中“过度思考”的冗余步骤，用最优停止策略动态剪枝，降本增效不丢精度。
arXiv:2607.11089v1 Announce Type: new Abstract: Large Language Models (LLMs) have achieved remarkable success in complex reasoning tasks through Chain…
3
Muse Spark 1.1 + GPT-5.6 launches; Rust 1.97 ships
Meta与OpenAI、Rust同日上新：百万Token代理模型、GPT-5.6三档定价、Rust 1.97稳定版发布，技术圈大事件速览。
This week, AI Gateway became the de facto routing layer for serious agentic workloads—Meta and OpenAI both landed major model releases there, and the …
4
Meta 发布多模态推理模型 Muse Spark 1.1，强化 AI 智能体任务能力
Meta新模型Muse Spark 1.1主打多智能体协作与百万级上下文，让AI能拆解任务并行执行，效率倍增。
IT之家 7 月 12 日消息，Meta 于 7 月 9 日正式发布适用于 AI 智能体的多模态推理模型 Muse Spark 1.1 版本，重点提升了模型在智能体任务中的规划、协同与执行能力，并增强了工具调用、代码开发、应用操作能力。 Meta 表示，Muse Spark 1.1 强化了多智能体协…
5
AgoraSim: A Hybrid Agent-Based Modeling Framework
混合智能体建模框架AgoraSim发布，兼顾代理行为复杂性与模拟效率，AI仿真新利器。
arXiv:2607.05999v1 Announce Type: new Abstract: LLM-agent simulations make natural-language social scenarios easy to instantiate, but their outputs ca…
6
Ask HN: ChatGPT Go Plan
Hacker News上用户实测ChatGPT Go计划，对比免费版性价比，并遗憾缺少推理模型。
has anyone used it? what do you think of it? Is it worth it, especially compared to the free plan? I think the plus plan is expensive (I don't use it …
7
Predicting LLM Reasoning Performance with Small Proxy Model
用小代理模型精准预测LLM推理性能，省钱省算力的高效新方案。
arXiv:2509.21013v4 Announce Type: replace-cross Abstract: Given the prohibitive cost of pre-training large language models, it is essential to leverag…
8
Metaphors are a Source of Cross-Domain Misalignment of Large Reasoning Models
大型推理模型在跨域隐喻理解上存在对齐偏差，揭示隐喻是模型跨域误对齐的关键来源，为提升AI语义鲁棒性提供新视角。
arXiv:2601.03388v3 Announce Type: replace-cross Abstract: Earlier research has shown that metaphors influence human decision-making, raising the quest…
9
Using AI to help physicians diagnose rare genetic diseases affecting children
OpenAI推理模型在儿童罕见病诊断中取得突破，18例未解病例获新诊断
Researchers used an OpenAI reasoning model to help diagnose rare diseases, identifying 18 new diagnoses in previously unsolved cases.
10
Train at Moving Edge: Online-Verified Prompt Selection for Efficient RL Training of Large Reasoning Model
提出在线验证提示选择方法，大幅提升大推理模型RL训练效率
arXiv:2603.25184v2 Announce Type: replace Abstract: Reinforcement learning (RL) has become essential for post-training large language models (LLMs) in…
11
MiniMax M3一手实测：老黄PPT上74个Logo，我以为能难住它
实测MiniMax M3：能准确识别老黄PPT上74个Logo，甚至纠正路径逻辑，闭源模型中也仅“御三家”能做到。
还能带你打卡老黄同款南锣路线
12
微软发布其首款高级推理模型 MAI-Thinking-1：承诺未蒸馏第三方模型，自研 AI 模型阵容进一步扩充
微软自研高级推理模型，350亿参数专攻软件工程，承诺零蒸馏从零训练，性能领先
IT之家 6 月 3 日消息，在 Build 2026 开发者大会上，微软发布了一系列自研 AI 模型，其中包括旗下首款高级推理模型 MAI-Thinking-1。这也是微软在模型研发领域迈出的重要一步。 微软介绍称，MAI-Thinking-1 是一款“中等规模模型”，拥有 350 亿活跃参数，在…
13
Microsoft and OpenAI broke up — now they’re ready to fight
微软与OpenAI分道扬镳后，推出自研推理模型MAI-Thinking-1，正面迎战OpenAI和Anthropic。
At Microsoft's annual Build conference on Tuesday, the company announced a slew of new or expanded AI initiatives, including a super app, in-house rea…
14
Quantifying Faithful Confidence Expression in Large Reasoning Models
探索大型推理模型如何忠实表达置信度，量化方法带来新视角
arXiv:2606.03969v1 Announce Type: cross Abstract: Reliable uncertainty communication is critical to the trustworthiness of LLMs, yet faithful calibrat…
15
Measuring Weak-to-Strong Legibility of Reasoning Models
从弱到强解读推理模型的「可读性」，ICML 2026 研讨会最新研究，剖析 AI 对齐与可解释性关键指标。
arXiv:2603.20508v2 Announce Type: replace-cross Abstract: Reasoning language models (RLMs) and the intermediate chains of thought they emit play an in…
16
共同开发、部署 AI 医疗模型，微软与梅奥诊所达成合作
您提供的是一条医疗AI合作新闻，而非在线工具。请分享具体的在线工具，我来为您写推荐语。😊
IT之家 6 月 3 日消息，微软今天在 Build 2026 大会宣布与梅奥诊所达成战略合作，共同开发部署医疗保健领域的前沿 AI 模型，让更多人在需要时获得梅奥诊所的医疗知识、服务模式。 IT之家在此援引官方新闻稿，本次合作将整合梅奥诊所的全球医疗专业能力、去标识化临床健康数据，以及微软的先进 …
17
微软首个自研推理 AI 模型 MAI-Thinking-1、新 Copilot 超级应用曝光
微软首发自研推理模型MAI-Thinking-1，未借力其他模型蒸馏，Copilot超级应用同步曝光，布局AI新版图。
IT之家 6 月 2 日消息，科技媒体 The Verge 昨日（6 月 1 日）发布博文，报道称北京时间明日（6 月 3 日）凌晨 0 点 30 分召开的 Build 2026 大会上， 微软将发布 MAI-Thinking-1，这是其首个自研推理模型，且未用其他模型输出蒸馏训练。 IT之家援引博…
18
英伟达推出 Alpamayo 2 Super 开源推理模型，助力 L4 自动驾驶研发
英伟达Alpamayo 2 Super参数提升3倍，推理能力跃升，加速L4自动驾驶研发。
IT之家 6 月 1 日消息，英伟达今日正式推出了 Alpamayo 2 Super，这是一款拥有 320 亿参数、基于推理能力的视觉 - 语言 - 动作（VLA）模型，进一步丰富了英伟达 Alpamayo 系列开源人工智能模型、仿真框架与物理人工智能数据集，助力企业研发安全的 L4 自动驾驶出租车…
19
Reasoning Theater: Disentangling Model Beliefs from Chain-of-Thought
揭秘推理模型“表演性思维链”：模型已确信答案却不暴露内部信念，引发对AI推理真实性的深层思考。
arXiv:2603.05488v4 Announce Type: replace-cross Abstract: We provide evidence of performative chain-of-thought (CoT) in reasoning models, where a mode…
20
Thinking as Compression: Your Reasoning Model is Secretly a Context Compressor
提出思考即压缩的观点，把大模型推理能力重新定义为上下文压缩机制，视角极为新颖
arXiv:2605.28713v1 Announce Type: new Abstract: Context compression aims to shorten long context inputs with minimal information loss for LLM inferenc…