搜索
最近，视频会议软件公司 Zoom 发布了一条出人意料的消息：他们宣称在“人类最后的考试”（Humanity s Last Exam，简称 HLE）这个号称当前 AI 领域最具挑战性的基准测试上，取得了 48.1％ 的成绩，比此前由 Google Gemini 3 Pro（带工具）保持的 45.8％ 高出 2.3 个百分点。
前沿AI竞赛在2025年11月达到高潮。48小时内，谷歌推出Gemini 3 Pro宣称在主要推理基准测试中领先，而OpenAI立即用GPT-5.1-Codex-Max反击，这是一款专门训练用于通过创新"压缩"（compaction）技术自主工作超过24小时的专业编码模型[43]。加上Claude Sonnet 4.5已确立的编码统治地位和激进的安全过滤器，开发者面临前所未有的选择：
在计算机科学领域， CSRankings 曾被视为一次划时代的改进。它摒弃了早期诸如 USNews 那样依赖调查问卷的主观排名体系，转而以论文发表数量这一客观指标来评估各大学的科研实力。
过去一周，我把主流 AI 浏览器都体验了个遍。 OpenAI 的 Atlas、Perplexity 的 Comet、Browser Company 的 Dia，再加上 Edge Copilot，市面上最火的 AI 浏览器，各有各的亮点，也各有各的坑。浏览器的未来长啥样？这些产品给出了完全不同的答案。
全球第一家被收购的AI浏览器公司诞生了！ 刚刚，拥有Arc和Dia两款AI浏览器的The Browser Company，被企业协作软件公司Atlassian以6.1亿美元（约为43亿人民币）重金收购。
9 月 4 日消息，Atlassian 宣布已同意以 6.1 亿美元现金收购初创企业 The Browser Company。后者是最近知名的 AI 浏览器 Dia，以及 Arc 浏览器的母公司。
Builder.ai自称用AI简化软件开发，吸引微软、软银等巨额投资，估值一度超15亿美元。但实际靠人工冒充AI，财务造假被起诉。而这么做的，不止Builder.ai这一家！ 两年前，快公司Fast Company评选出AI领域最具创新性的前10家公司，OpenAI、谷歌DeepMind、Builder.ai当选Top3，而英伟达位居第9。
今年 6 月，The Browser Company 向 Arc 用户开放了浏览器 Dia 的 Beta 测试。上个月，Perplexity 新推出了自己的 AI 原生浏览器 Comet，随后 OpenAI 也宣布计划在未来几周发布浏览器。
当大模型把人类曾经的终极考题变成日常练习，AI的奔跑却悄悄瘸了腿—— 训练能力突飞猛进，验证答案的本事却成了拖后腿的短板。 为此，上海AI Lab和澳门大学联合发布通用答案验证模型CompassVerifier与评测集VerifierBench。填补了Verifier领域没有建立验证->提升->验证的循环迭代体系的空白。
据知情人士透露，代表亚马逊、亚马逊、微软和Meta的游说团体INCOMPAS，正敦促参议院通过一项为期10年的禁令，禁止各州推出自己的人工智能立法。这场游说活动的核心人物、INCOMPAS首席执行官、前国会议员Chip Pickering正代表他所在的科技行业协会的成员，倡导这项提案。