「数学证明助手」共找到 1007 篇相关文章
让大模型“边看边改”，视觉分割准确率直接上涨9% | ICML 2026
复旦、创智联合推出RSAgent，让多模态大模型通过多轮工具调用生成准确掩码，解决视觉分割难题。该工作入选ICML 2026，实验显示其在多个测试集上表现领先，还展示了从‘看图问答’到‘视觉行动’的路径。
小模型代替顶级闭源：微软用4B小助理，砍掉30% Token消耗
微软研究团队提出实用方案，用4B参数的微型模型Terminus - 4B替换昂贵顶配大模型接管终端执行任务，采用SFT和RL策略打造子智能体，经测试效果良好，节省Token消耗。
DeepSeek版Claude Code登顶热榜：8700星，鲸鱼哥火了
DeepSeek版Claude Code登顶GitHub热榜，Star量超8700且还在增长。DeepSeek TUI由Hunter Bown用Rust开发，能与DeepSeek深度集成，有多种模式，打破高价API限制，开发者是半路出家的程序员。
上交大 x vivo 团队：一个简单改动，让 diffusion 全面提升丨CVPR 2026
上交大与 vivo 团队提出 C²FG 方法，针对当前 diffusion 模型缺稳定可控生成机制问题，通过 score 差异实现动态引导控制。实验显示，该方法能提升多维度指标，改进生成分布，揭示生成机制新方向。
ICLR 2026 | 别再让大模型“想太多”了！最新研究揭示 LLM 推理效率的关键瓶颈
大语言模型推理计算成本失控，存在过度与思考不足问题。研究揭示推理失衡是根源，提出BAM模型及Plan - and - Budget框架，实验显示其能提升准确率与效率，转向‘推理价值’范式。
ICLR 2026 | 异常需要定义！中传团队提出开放世界视频异常检测新范式
现有视频异常检测（VAD）方法泛化能力不足，无法适应开放世界需求。中传吴晓雨团队在ICLR 2026发表论文，提出LaGoVAD模型，联合建模视频与异常定义，解决样本密度下降等问题，实验显示泛化性强。
11位顶尖数学家发了篇没结果的论文，陶哲轩推荐都关注一下
11位顶尖数学家发起First Proof实验，设计10道研究级数学问题，检验AI独立解决问题的能力。陶哲轩认为实验有趣，当前AI一次性提示难解题，截止期限前成果值得关注。
我做了个 AI 漫剧 Skills，全流程+免费太香了
AI漫剧赛道正火，鲸哥用“Manga - Writer”AI漫画助手结合Skills打造全流程免费AI漫剧工作流。相比其他平台，它能避免角色“脸崩”，三步上手，还能轻松修改故事和角色信息。
这届网友太狠了：Clawdbot爆火，狂囤40台Mac mini来跑
周末，AI 助手 Clawdbot 爆火，顺带带火了 Mac mini。它可在聊天软件中对话、自动完成任务，由四大核心组件支撑，应用场景广泛，创始人 Peter Steinberger 于 2026 年 1 月发布该开源项目。
MiniMax海螺视频团队首次开源：Tokenizer也具备明确的Scaling Law
MiniMax海螺视频团队首次开源，揭晓视觉分词器难题答案。其推出的VTP框架可提升模型性能，解决传统Tokenizer缺陷，还展示了Tokenizer的Scaling Law，为行业提供新路径。