别再笑大模型只会刷奥数了，DeepMind这次用几百刀扫平了9个数学大悬案
AlphaProof证明系统破解了大模型数学理解不稳定的痛点。DeepMind利用Gemini与Lean编译器闭环，低成本自主攻克了9个埃尔德什开放数学难题。此研究标志着数学形式化证明搜索的大规模落地...
排序
省下8张卡！开源EdgeRazor把大模型压到190MB，手机CPU解码狂飙15倍！
EdgeRazor是一款开源大模型混合精度量化工具。本文手把手教你如何将大模型体积压缩至190MB，并在PC与手机CPU端实现15倍解码加速。包含一键部署训练指南及GitHub、Hugging Fac...
Claude通过率不到4%！SaaS-Bench撕下全自动办公Agent底裤
SaaS-Bench测试暴露出AI Agent在真实办公场景下的巨大缺陷。该评测采用本地部署的23个开源SaaS系统对模型发起长流程大考，结果显示最强模型Claude 4.7的端到端完全通过率仅有3...
告别生成图崩坏！中科大开源 Flow-OPD，手把手教你0成本搞定多专家蒸馏
Flow-OPD 是中科大等机构开源的流匹配多任务后训练框架。本文为你整理出 Flow-OPD 的核心机制与实操步骤，包含官方代码库与论文跳转链接，带你快速解决多任务 GRPO 训练中的跷跷板效应和背...
人走了但底牌还在！马斯克祭出1.5T新大模型，注入Cursor数据决战AI编程
Grok大模型在遭遇团队变动的质疑后强势反攻。马斯克官宣完成1.5T参数量V9-Medium模型训练，融合Cursor独家真实开发者工作流数据，并推出终端引擎Grok Build，将直接改变AI工程辅...
零成本白嫖！全网首发 SkyClaw-v1.0 限时免费申请，多款 Agent 框架一键直接接入！
SkyClaw-v1.0限时免费开放体验！本攻略为你整理天工AI最新基座模型的保姆级实操步骤，包含apifree.ai平台API Key免费获取方式，以及Nanobot和Claude Code等智能体...
连CPU都能跑！0.5G超低内存白嫖本地端侧AI桌宠，附保姆级部署源码
MiniCPM5-1B端侧大模型正式开源！本文为你提供超实用的本地部署与微调指南，低至0.5GB内存即可运行，并附带AI桌宠一键安装包及ForgeTrain训练框架等核心开源链接，让普通电脑轻松白嫖本...
免费开源！搞定复杂地图工作流，Spatial-Agent 帮大模型性能飙升 96%
Spatial-Agent是最新开源的地理空间分析Agent框架。本文教你如何利用其独创的GeoFlow Graph，解决大模型调用地图API的逻辑硬伤，让准确率飚增百分之九十六，内含完整开源代码与论...
白嫖DeepMind核心专家的极速法则！放弃24亿分红的AI大佬教你两招效率爆表
Windsurf核心开发者Ronak Malde从DeepMind离职，并公开了他在AI Coding赛道积累的保姆级开发提效秘籍：通过寻找正确的技术方向，以及做足核心共识并无情砍掉干扰任务，帮你实现...
告别机器人“手残”！中科大等开源CAPER++，物理约束让关节物体位姿稳定输出
关节物体位姿估计在具身智能交互中常因遮挡或累积误差导致姿态漂移。CAPER++框架引入关节中心层次化建模与SE(3)流形切空间几何优化，将长时序追踪分解为局部增量学习，实现了兼顾高鲁棒性与50 FPS...