「数学难题」共找到 1527 篇相关文章
揭秘腾讯内部科研组织ARC Lab：找最好的人才，做最难的事情
文章揭秘腾讯ARC Lab，它在行业低谷时创立，坚持找最好人才、做最难之事。介绍运营机制，如小团队、技术影响力漏斗、绩效体系等，还阐述其在学术、行业、业务、社会和人才方面的影响力。
SIGCOMM 2025｜重新定义个性化视频体验，快手与清华联合提出灵犀系统
快手与清华孙立峰团队联合发表论文，提出灵犀系统，这是业界首个大规模生产环境中面向用户个性化体验的自适应视频流优化系统。该系统能解决现有方法在部署中的难题，实现个性化QoE优化。
追平GPT-4o，数学基测96.3%高分，Hermes4 来了
Nous Research推出新一代大模型Hermes 4系列，其有混合推理和长度控制机制，还能用DataForge“造”数据，经Atropos质检。它在数学等领域表现佳，追平GPT - 4o，是开源AI对巨头的挑战。
LLM 商业化猜想：OpenAI 会走向 Google 的商业化之路吗？｜AGIX PM Notes
文章探讨了大模型商业化难题，对比 OpenAI 潜在变现方案与 Google 商业模式，分析 OpenAI 开启类似 Google 商业化引擎的可能性，还给出 AI 搜索引擎可能的变现思路，并总结了本周市场情况及 AI 公司动态。
7.2K Star 治愈系AI伴侣开源！开源AI虚拟伴侣，支持Live2D/VRM形象！
AI虚拟角色构建常面临技术和硬件难题，而Project AIRI开源项目可轻松构建能聊天、玩游戏的萌系AI虚拟伴侣。它功能丰富，支持多模型、跨平台，还能跨端运行，值得一试。
Kimi 大模型训推混部的稳定性与资源优化实战
月之暗面系统工程师黄维啸在 QCon 大会分享 Kimi 大模型训推混部实践。介绍了训推集群挑战，如故障多、资源利用低等，还阐述了全链路稳定性提升、资源高效利用及强化学习混合部署等方案。
训练提速5倍，响应缩短50%：动态自感知能力，重塑高效LLM Reasoning范式
大型语言模型“思维链”技术有冗余，传统优化方案存在静态先验与动态能力错配问题。论文提出的DR.SAF框架赋予模型动态自感知能力，通过三模块协作，实现推理“精准瘦身”，解决根本冲突。
Kafka 如何实现零停机迁移
随着企业将 Kafka 迁移至云原生架构需求增加，AutoMQ 成云端优选。但传统 Kafka 迁移方案难满足高可用需求，AutoMQ 推出 Kafka Linking 创新方案，支持双向写入与消费位点同步，实现零停机迁移。
马斯克挖不动的清华学霸，一年造出 “反内卷 AI”！0.27B参数硬刚思维链模型，推理完爆o3-mini-high
新加坡Sapient Intelligence推出小参数AI模型HRM，能解决复杂推理难题。它受大脑启发，提出“隐性推理”路径，准确率碾压先进思维链模型，推理能力超越o3 - mini - high，经济性突出，任务效率可百倍提升。
双“雷”暴击！Trae 被曝资源黑洞、Claude背刺超级付费党，开发者们被“刀”惨了
AI编程应用大热，但运行卡顿、资源消耗惊人等问题随之而来。Trae被曝过度消耗资源，Anthropic宣布Claude Code对付费用户增加调用限制，反映出AI产品资源问题影响厂商和用户。