「步数蒸馏」共找到 599 篇相关文章
CEO 上阵写代码，公司从被传濒临倒闭到千亿估值，最大功臣是Claude？
Airtable创始人兼CEO Howie Liu分享公司发展。Airtable曾被传濒临倒闭，后年收入达数亿美元。他亲自参与编程，围绕AI重组公司，还介绍推动团队用AI、岗位转型及公司转型AI的策略，强调打破角色壁垒。
量旋科技完成B轮融资，资本为何重注看似遥远的量子计算？｜甲子光年
近日，量旋科技完成数亿元B系列轮融资。量子计算市场前景大，虽面临挑战，但产业正从技术研发迈向产业化。量旋科技选超导与核磁共振两条技术路线，其发展分三阶段，未来或与AI结合。
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。
无锡梁溪国资领投！长三角商业航天再落关键一子
继4月数亿元Pre - A轮融资后，龙擎空天近日完成近亿元Pre - A+轮融资，由无锡梁溪国资平台领投。两轮融资用途明确，其‘终端 + 芯片’模式有独特优势，还启动‘算力上天’战略，折射商业航天产业变革。
Claude Sonnet 5 上线一日差评刷屏：打不过千问和 Minimax，性价比全面翻车
Claude Sonnet 5发布一天差评多。虽官方定位高，有能力亮点，但在中文测评中性价比低，测试成本高，且Max推理模式易过度思考。还因过度保守失去实用价值，其表现取决于使用场景和预算。
Claude还是最强，但Anthropic这周好像疯了
Anthropic状告阿里蒸馏模型致其股价创新低。一位87年创业者用AI搭工作流，起初用DeepSeek和Qwen问题多，换Claude后流程顺畅。MRCR v2测试显示国产模型与Claude有差距，便宜与省心模型该怎么选成问题。
后AlphaFold时代的冷思考，AI制药的破与立 | GAIR live 028
雷峰网等组织“后AlphaFold时代AI制药的破与立”线上圆桌，三位学者探讨AI制药问题。指出算力难颠覆生命法则，数据有缺陷，还给出赛道选择建议，提及AI Agent重塑科研关系及中国AI制药优势与挑战。
OpenClaw同时收到Meta和OpenAI收购邀约！小扎闭关一周亲测，奥特曼祭出算力诱惑
OpenClaw之父Peter Steinberger称收到Meta小扎和OpenAI奥特曼的收购邀约，小扎亲自上手体验，奥特曼祭出算力诱惑。OpenClaw很火，GitHub star数不到一个月突破18.9万，但仍亏损，Peter希望其保持开源。
比人类专家快2倍，斯坦福联合英伟达发布TTT-Discover：用「测试时强化学习」攻克科学难题
斯坦福与英伟达等机构联合提出 TTT - Discover 方法，让 LLM 在测试时强化学习。它在多任务上成绩出色，如在数学、GPU 内核等领域超越人类和其他 AI，计算成本低，或为持续学习打开新空间。
让AI真正懂数据：猫超Matra项目中的AI知识库建设之路
文章聚焦猫超Matra项目的AI知识库建设。猫超数据体系庞大但有治理难题，促使Matra项目诞生，旨在实现智能取数。文中详述知识库设计、实践及效果，还提及未来在准确性、保鲜性和能力拓展上的规划。