「推理与计算」共找到 8179 篇相关文章
谷歌前CEO施密特：中美大模型之间存在一个显著区别
7月26日世界人工智能大会上，谷歌前CEO埃里克·施密特与沈向洋对话，指出过去两年中国AI技术进步巨大。他认为中美领先AI模型有显著区别，中国部分模型开放权重，美国多数领先模型封闭。他期待中美合作应对AI变革。
a16z 合伙人：AI 正将 10 倍工程师“降级”为 2 倍！应用层已无技术护城河，未来在基础设施和业务深耕
Andreessen Horowitz (a16z) 的合伙人 Martin Casado 在对话中指出，当前AI大模型竞争格局似当年云计算大战，寡头垄断将降临。他还谈到AI对开发者、投资决策、市场格局的影响，以及对AI安全、开源等问题的看法。
对谈 Chai-2 核心科学家乔卓然：抗体生成成功率提升百倍，分子生成平台是药物研发的 GPU｜Best Minds
文章访谈 Chai Discovery 创始科学家乔卓然，探讨 Chai-2 设计理念与行业意义。Chai-2 能零样本生成活性抗体，成功率提升百倍，将开发周期从数月缩至两周。未来分子生成平台或成药物研发的 GPU，合成数据将成“第三模态”。
从 Copilot 到 通用 Agent ： 阿里在 AI Coding 上的应用和挑战
阿里巴巴代码平台负责人向邦宇在 QCon 大会分享阿里智能研发大模型应用与挑战。介绍探索成果，如代码补全、审查等功能；指出面临用户需求理解、领域知识整合等难题；还提及技术进步带来新机遇，促使从 Copilot 向 Agent 转变。
实证：现在的LLM根本不会Reasoning！
论文指出当前大推理模型（LRM）如DeepSeek - R1等可能只是在表演“思考秀”，遇到复杂问题就崩溃。研究者用4个可控谜题测试，有三大颠覆发现，还揭示思考过程的荒诞现象，直指行业痛点并给出发展方向。
不是「电商 AI」，而是「AI 电商」
GenAI时代，AI与电商消费结合成趋势，“值得买科技”提出“全面AI战略”，发布火眼AIUC引擎等4个作品。其海纳MCP Server可输出消费服务能力，推动AI生态建设。还落地什么值得买Gen2和张大妈Agent等应用。
从「悟道」到「悟界」，智源走进大模型的新时代
在2025智源大会上，智源研究院院长王仲远表示大模型技术演进未到终点。会上推出「悟界」系列大模型，包含Emu3、见微Brainμ等，推动AI从数字走向物理世界。还介绍了具身智能成果，且与企业合作打造生态。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
小米造芯：一个失败者重整旗鼓
小米曾在2017年澎湃S1铩羽而归，2021年重启手机SoC设计研发。此次玄戒O1一次流片成功后回片，表现超预期。文章分析了小米此前失败教训，介绍其芯片战略，还谈及产业特点与小米面临的挑战。
新DeepSeek R1代码能力直逼Claude 4！附生成任何优质网站的通用提示词
作者体验DeepSeek R1超8小时，发现其文本写作问题大幅修复，思维链推理改进，代码能力提升，前端审美直逼Claude 4。文章展示其前端能力，给出写前端网页提示词及设计逻辑，还探讨了其在复杂任务中的表现。