AI信息差

本项目为付费编程面试平台提供了强大的替代方案。它以免费开源的形式提供了付费面试准备工具的核心功能。使用您自己的OpenAI API密钥，您可以访问AI驱动的问题分析、解决方案生成和调试辅助等高级功能——所有操作都在您的本地机器上运行。 项目初衷 最好的编程面试工具往往价格昂贵，让许多学生和求职者望而却步。本项目提供了同样强大的功能，却无需支付高昂费用，让您能...

随着语音助手、会议转写等应用的普及，轻量级、高性能的音频模型需求也日益增长。 Aero-1-Audio 是一款新型的1.5B参数音频模型，由 LMMs-Lab 开发，基于 Qwen-2.5-1.5B 构建。 在语音识别（ASR）、音频理解和指令遵循任务中表现出色，部分基准超越 Whisper 和 Qwen2-Audio，尤其在参数效率和长音频处理上独树一帜...

昨天，全球著名大模型平台Anthropic在官网发布了一篇名为《确保美国的计算优势：Anthropic对扩散规则的立场》的文章。 Anthropic非常赞同并建议特朗普制定更激进的规则来限制AI芯片出口，这样才能在与中国的AI竞争中，让美国保持领先地位。 Anthropic还污蔑中国为了得到最新AI芯片，用“孕妇肚子”和活龙虾一起运输。这一说法已经受到英伟达...

今天凌晨4点，CNBC消息，Anthropic在昨天发布的《Securing America’s Compute Advantage: Anthropic’sPositiononthe DiffusionRule》文章中写道，中国为了得到最新AI芯片，用“孕妇肚子”和活龙虾一起运输。 但英伟达强烈批评了Anthropic这一说法，认为它是夸大其词，并抨击利用...

2025上海车展，英特尔发布第二代英特尔AI增强软件定义汽车（SDV）SoC，并披露全新合作伙伴关系。第二代英特尔AI增强SDV SoC率先在汽车行业推出基于芯粒架构的设计，进一步扩展了英特尔在智能座舱领域的创新产品组合。同时，英特尔还宣布与黑芝麻智能、面壁智能、BOS Semiconductors等公司建立合作关系，共同攻克汽车智能化进程中的技术难题，建...

文丨丁灵波 全球开发者们都在期待的R2模型何时问世尚未可知，不过，DeepSeek又为开源社区贡献了一个重磅新模型：DeepSeek-Prover-V2，相关技术报告论文今天已出炉，外界推测，或为R2模型打头阵。 据了解，这是一款专为在Lean 4中进行形式化定理证明而设计的开源大语言模型，其初始化数据是通过由DeepSeek-V3驱动的递归定理证明管...

新智元报道 编辑：定慧 【新智元导读】在「学」与「思」之间，AI需要跨越的不只是算力的堆砌。北大物理学院联合多个院系，推出了首个专注于物理感知与推理能力的大模型基准——PHYBench。首次系统性揭示了当前大语言模型在理解物理世界时的巨大短板。 学而不思则罔，思而不学则殆。 ——《论语》 如果说大模型的训练是「学」的过程，那么各种基准测试就是大模型...

梦晨 西风 发自 凹非寺 量子位 | 公众号 QbitAI DeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。 在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49道。 目前的第一名在657道题中只做出10道题，为Kimi与AIME2024冠军团队Numina合作成果Kimina-Prover。 而未针对定理...

新智元报道 编辑：编辑部 ZJH 【新智元导读】刚刚，LMArena陷入了巨大争议，斯坦福MIT和Ai2等的研究者联手发论文痛斥，这个排行榜已经被Meta等公司利用暗中操作排名！Karpathy也下场帮忙锤了一把。而LMArena官方立马回应：论文存在多处错误，指控不实。 已经有越来越多的人发现：大模型排行榜LMArena，可能已经被大厂们玩坏了！...

作者｜冬梅、核子可乐 一日为谄媚者， 终身为谄媚者 近日，OpenAI 在其官网发文称已回滚上周 ChatGPT 中的 GPT-4o 更新，目前用户使用的是行为更加平衡的早期版本。Altam 也在 X 上发帖说明了这一调整。 为什会做这样的调整？因为最近不少用户发现 ChatGPT 越来越“谄媚”。 随着用户对于 ChatGPT “谄媚”行为的讨论越来...