「基础AI模型」共找到 13909 篇相关文章
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
白春礼：人工智能促进科学研究范式变革
白春礼在浦江论坛探讨AI对科研范式变革的影响。他指出，当下科学研究体系面临发现机制、组织方式、知识生产方式的结构性重组，呈现新特征，同时也面临竞争、组织变革等挑战。
3.2K Star！这个开源字幕神器，对剪视频的创作者来说，救了大命！
视频创作中字幕制作耗时费力，剪映等工具各有局限。开源字幕工具 AutoSubs 能有效解决痛点，可一键生成高质量字幕、自动区分说话人，本地运行保障隐私，还具备多种亮点功能，使用简单。
狂揽近4万Star！这份Claude Code最佳实践，效率翻倍！
GitHub上`claude - code - best - practice`项目爆火，Star近4万。它是Claude Code全功能实战指南，将「Agentic Engineering」落地开发，解决开发者接入AI的痛点，有结构化方法论、可复用模板等亮点。
Anthropic出手，一批Agent创业公司死去
Anthropic推出Claude Managed Agents，号称几天就能上线生产级智能体。它提供全托管、开箱即用的智能体基础设施，让传统SaaS公司与AI初创公司面临危机，AaaS时代正开启。
具身Scaling Law押对了！独角兽新品1小时学会新任务，重复1800次成功率99%
具身智能独角兽Generalist推出新模型Gen - 1，它在精细任务上表现出色，成功率大幅提升、效率加快，验证了机器人领域的Scaling Law。研发团队重写数据处理架构，采用新技术提升性能。
RL是「点金石」还是「挖掘机」？CMU 用可控实验给出答案
卡耐基梅隆大学研究者构建基于GSM - Infinite的可控合成数据框架，分析预训练、中期训练和RL对模型推理泛化能力的影响，调和了RL有效性的不同观点，为改进训练策略提供基础。
藏师傅 Kimi K2 Thinking 首测！教你用 Kimi 编程全家桶
本文首发测评藏师傅 Kimi K2 Thinking，介绍 Kimi 编程全家桶。K2 Thinking 有 Agent 化等多方面升级，还推出 Kimi CLI 工具与 KFC 套餐。作者展示全家桶使用方法并多维度测试，肯定其表现，赞 Kimi 战略清醒务实有远见。
狂涨14.4K star！大三学生开发的Github可视化利器，真吊！
开源君介绍`gitdiagram`，这是结合AI与Web开发栈的开源工具，能将GitHub仓库变成交互式架构图。由大三学生开发，获14.4k星标，微软等企业团队采用，性能佳、使用便捷。
CC&LG实践｜基于 LangGraph 一步步实现 Claude-Code 核心设计
本文深入剖析Claude - Code核心设计与关键技术，结合LangGraph框架，从基础ReAct Agent构建简版Claude - Code，涵盖人工审查、SubAgent实现、任务管理、上下文压缩等多方面，还提及流式响应升级及相关对比。