「速度与准确性」共找到 6962 篇相关文章
李建忠对话菲尔兹奖得主Timothy Gowers：整个数学研究的范式将被AI改变
奇点智能研究院院长李建忠与菲尔兹奖得主Timothy Gowers对话，探讨AI与数学研究的十个话题，涉及数学重塑AI、AI推理能力、自动形式化、数学研究未来及AI对数学教育的影响等。
人工智能无法加速软件交付
文章指出速度不是软件交付目标，提升效率是为获反馈。片面追求速度不可取，如微软 Word 因功能堆砌失市场。引入人工智能只为提速不可信，应重视反馈，优化交付流程，借助 AI 打造更有格局产品。
别再嫌弃MySQL了！AI时代，当DuckDB拥抱MySQL
本文围绕MySQL DuckDB引擎展开，介绍其产品形态演进，如推出只读与主实例。阐述主实例在Binlog适配、高可用与数据安全、数据入库、兼容性等方面能力，还分享出行平台实践，提及未来数据湖集成方向。
陶哲轩再爆：一个月三破18年未解难题！AlphaEvolve彻底改写数学研究规则
一项封尘18年的数学难题，在短短30天内被AlphaEvolve与人类联手三度突破，和差集指数θ从1.173050提升至1.173077，刷新加法组合学天花板，展示了AI与人类协作的新范式。
SGLang 贴近硬件：用编译产物（PTX/SASS）评审 PR #26588、DeepGEMM 与架构迁移
本文从「编译产物评审」视角，分析 SGLang 的 PR、FlashInfer DeepGEMM 及 Ampere→Hopper 架构迁移案例。指出算法面和编译产物面会有分歧，编译产物 diff 能提前揭示执行路径变化，对开源项目有增益。
DeepSeek 跃居全球第二 AI 实验室，中美正式并驾齐驱！
Artificial Analysis宣称DeepSeek R1跃居全球第二，其0528版得分达68分，与Google Gemini 2.5 Pro并列。更新体现强化学习的重要性，多家云服务提供商也迅速支持新模型，这表明开源与闭源模型差距缩小，中美AI并驾齐驱。
飞书正在赌一件事：谁先把Agent塞进工作流，谁就是下一代Office
飞书2026年战略转向Agent平台，让Agent成工作流原生组件。以知识问答为切入口，与钉钉、企业微信展开AI路线竞争。其投入MCP基建，押注人与Agent协作，也面临商业化、客户结构等挑战。
刷榜多元时序预测，性能波动0%！打破CI/CD二元对立 | ICLR'26
在多元时间序列预测领域，长期存在通道依赖（CD）与通道独立（CI）路线之争。浙江财经大学团队提出CPiRi框架，结合时空解耦架构与置换不变正则化策略，解决范式矛盾，取得优异效果。
为什么伟大的 AI 产品不能被计划？
Anthropic的CPO Mike Krieger分享构建AI产品经验与哲学。他认为未来多数内容将由AI生成，判断重点在来源与可信性；伟大AI产品多自下而上生长，如MCP协议；还谈到AI应用面临易用性等问题。
从中国“霸榜”到全球开源，AI的新思考！GOSIM HANGZHOU 2025圆满收官
9月12 - 14日，GOSIM HANGZHOU 2025在杭州举办，吸引全球众多开源与AI相关人士。大会有2场Keynote、2大高端论坛、5大分论坛，还有Rust相关活动、Workshop、黑客松等，呈现开源与AI技术融合成果。