「AI超算」共找到 10708 篇相关文章
「2025甲子引力年终盛典」即将启幕，4大亮点揭晓，为你带来一场AI产业的年度“校准”｜甲子引力
2025年AI迈入新阶段，12月3日「甲子引力年终盛典」将在北京万达文华酒店举行。亮点有：发布《2025年度趋势判断大报告》；70余位产学研代表参会；设三大平行专场；发布三大权威榜单，呈现产业核心力量图谱。
Meta 突然百亿收购Manus，小扎再收百人团队，肖弘任副总裁！季逸超感叹：两个辍学生的道路交汇了
今早，Manus 宣布加入 Meta，收购金额达数十亿美元。此前字节跳动曾试图收购被拒。加入后，肖弘任 Meta 副总裁，核心团队并入 Meta AI。业内看法不一，有人赞创业成功，也有人质疑通用 Agent 是大厂游戏。
AI 设计9个月就能媲美Blackwell？OpenAI “辣芯”绕开英伟达正面战场，但老黄的GPU大盘不稳了
OpenAI 展示与博通联合打造的定制 AI 芯片 Jalapeño，性能媲美英伟达 Blackwell 或谷歌 TPU。计划年底部署，是多代芯片开发首步。它专为大模型推理设计，设计周期短，成本低，OpenAI 借此扩展全栈能力。
美国开源被中国甩在身后，套壳创业者更遭惨烈清算！OpenRouter CEO：天天乱用高价AI的员工要小心了
顶级科技播客20VC访谈OpenRouter联合创始人兼CEO Alex Atallah。他指出美国开源大模型落后中国，企业怕依赖巨头，AI时代员工成本应动态化，还探讨了模型生态、路由技术等行业热点。
宇树新机器狗太猛了！1米高石阶轻松爬，越野快到出残影，网友：这不是AI生成的？？？
宇树新机器狗Unitree A2星际猎影实力惊人，全视频无加速展示跑酷、爬山等技能。它有超广角激光雷达3D感知系统，能自主避障，还很轻、强、快，承载能力佳，官方未公布售价和上市日期。
GPT-5编程测评大反转！表面不及格，实际63.1%的任务没交卷，全算上成绩比Claude高一倍
Scale AI的新软件工程基准SWE - BENCH PRO测试中，‘御三家’表面解决率低。深入看，GPT - 5已提交任务准确率比Claude高一倍。该基准新题多、更复杂，能真实考验模型能力，当前模型解决商业问题能力有限。
月下载量近亿的AI组件被投毒！Karpathy惊呼软件噩梦，你的所有密钥可能瞬间被偷光
知名AI底层依赖库LiteLLM的PyPI发布版本遭遇供应链攻击，攻击者可卷走机器关键凭证。其月下载量近亿，传染性强。虽带毒版本很快被发现，但凸显供应链攻击风险，让Karpathy改变软件工程观念。
假简历狂骗硅谷10+家AI公司、拿多头薪水被锤！印度工程师喊冤：每周拼140小时，我也很绝望
印度工程师 Soham Parekh 同时任职硅谷 10 多家 AI 公司被曝光。他回应称是为摆脱财务困境，每周工作 140 小时。事件发酵后他宣布入职新公司，大众对其评价不一。
驭浪而行，产业向新：2025世界人工智能大会智能体论坛前瞻，共探AI产业变革｜甲子光年
2025年7月28日9点，在世界人工智能大会期间，“驭浪而行 产业向新——智能体驱动产业变革论坛”将在上海世博中心举行。论坛由多方联合主办，通过三大版块探讨AI智能体产业落地痛点，有领导致辞、院士报告等多个看点。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。