「计算不可约性」共找到 1078 篇相关文章
英伟达Thor芯片屡屡延期：车企被迫转身，供应链迎来机遇
英伟达原计划的Thor芯片因架构和设计缺陷多次跳票，性能大幅缩水至约700TOPS，打乱国产车企规划，小鹏、理想等厂商回调旧方案或加速自研。同时，也为国产芯片企业带来机遇，推动市场走向多元竞争。
BesiegeField：LLM能否学会设计机器？
香港中文大学推出基于游戏《Besiege》的测试平台BesiegeField，探讨LLM能否学会设计机器。研究通过组合式机器设计视角，测试LLM，提出多智能体迭代设计流程等，发现LLM有挑战但并非不可实现，如Gemini 2.5 Pro表现不错。
逆势降本：云上数据平台年复削减30%的治理实践
本文是朴朴科技对云上大数据平台成本治理的阶段性总结。其开展成本治理已三年，分“降本增效”三部曲：成本发现与分析、成本优化与控制、体系化治理构建，分享经验，助力同行开展相关工作。
刚刚，光刻机巨头ASML杀入AI！豪掷15亿押注「欧版OpenAI」，成最大股东
路透消息，光刻机巨头ASML豪掷15亿美元领投Mistral AI，成其最大股东。本次C轮融资约20亿美元，完成后Mistral将成欧洲最有价值AI公司。Mistral技术能与ChatGPT匹敌，开源理念使其发展迅速。
AI系统10分钟生成CVE漏洞利用程序：网络安全攻防战进入“分钟时代”
研究人员开发的AI系统能10 - 15分钟生成CVE漏洞利用程序，成本约1美元，准确性和可靠性高。此外，HPTSA系统可利用零日漏洞。传统网络安全防御模式失效，攻防失衡加剧，AI攻防对抗趋势明显，有专业化、自主化、高强度特点。
微软、哈佛开源创新优化器：全面超越Muon，提升大模型训练效率
随着大模型训练所需计算资源爆炸式增长，微软和哈佛团队联合开源优化器Dion。它利用低秩近似和解耦动量缓冲区，避免分布式训练同步完整梯度，在集中式和分布式场景都有高效表现，性能超Muon。
阿里AI 重磅第4发：电影级MOE 视频模型Wan2.2正式开源！
阿里通义团队开源电影级视频生成模型Wan2.2，将光影、色彩、镜头语言装进模型，支持60多参数自由组合。它是业界首个用MoE架构的视频生成模型，推理省计算资源，性能超主流模型，获国外网友盛赞。
Cursor调价风波背后：商业逻辑与用户期待的错位
Cursor在6月16日调整Pro计划收费模式，从请求数限制改为计算量限制，虽称优化却引发用户不满。用户发现服务缩水且沟通模糊，社交媒体上一片失望愤怒声。7月4日Cursor道歉并推出补救措施，但信任修复不易。
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。
又一位xAI联创宣布创业，押注开源模型和个人AI，融资11亿美元
8月11日，xAI联合创始人伊戈尔·巴布什金创办的River AI完成11亿美元融资。该公司6月成立，团队约20人，刚公开首个产品River API。巴布什金想让企业和个人拥有自己的AI，目前先从企业需求切入。