保留完整资讯流，用来源、主题和时间找到你关心的消息。
henry 发自 凹非寺量子位 | 公众号 QbitAIClaude这家伙，也是把debug，玩成扫雷硬解了。就在刚刚，Anthropic发布了与Theorem合作的最新研究：让Claude在几周内，为 123个开源库中的239个测试入口完成形式化验证，最终产出约1.8亿行通过机器检查的证明代码。据A社（全美班）团队介绍，这是其所知的首次大规模利用AI，在汇编代码层面对生产软件开展形式化验证。听起来有点绕，但简单来说，其实就是让Claude找出Bug，修掉，然后交一份证明，说明规定范围内的这类错误不会再出现。这就像在软件里扫雷，扫完还得写份报告，交代清楚：为什么这里没雷？而为了写出这份证明，C...
在真实的软件工程中，生成代码只是起点。
整理 | 屠敏出品 | CSDN（ID：CSDNnews）对于开源社区而言，AI 辅助开发、甚至直接生成整个项目，究竟是值得拥抱的新工具，还是需要严格限制的内容污染？不同社区给出了不同答案。有人积极拥抱 AI，也有人选择保持中立，而 Reddit 上一个拥有近 40 万名成员的老牌开源社区 r/opensource，最近干脆决定：不再接受任何使用 A...
Anthropic是处在狂奔阶段的现象级公司。其身处一个可能决定人类走势的行业，又是这个行业的王者，估值注定不会低。但这个王者透支了自己未来的营收，领先优势也并非永恒。现阶段是上市的最佳时机。
微软AI会诊登上《科学》杂志
为什么中国互联网大厂还要集中采购一款性能逊于顶级数据中心芯片的英伟达显卡？推理算力的需求究竟增长到了什么程度？这场抢卡潮，又会如何影响国产芯片的商业化进程？
Anthropic招聘经理、Claude相关产品工程负责人Felix Rieseberg称，其团队招聘已取消传统编程题面试，直言“编程面试已经死了，至少对我的团队而言”。他认为，Claude等AI能轻松完成小型React挑战甚至底层汇编题，传统编程题筛选价值下降，难以区分候选人真实工程能力，面试结果可能更多反映AI工具而非候选人水平。
DeepSeek正在加速扩张，这位新晋千亿富豪的事业也进入了新的阶段。
作为 OpenAI 最早的发起人之一，马斯克的处境本身就充满矛盾：他打心底里警惕 AI 潜藏的生存危机，可回头看，自己当初的一系列行动，反而变相加速了 AI 狂奔的脚步，这种现实的讽刺，构成了整场对话的底色。
凭“薪”而论，现在国内外的顶级AI，已经战胜了绝大多数的人类员工。
终于开始赚钱，还不够填补未来。
汽车先蹚路，成为人形具身智能第一考场
腾讯的钱，不在用户时长里。
万亿美元招股书里的五个反常识细节
财富榜换代，这一次是AI说了算。
文章转载于量子位作者：梦瑶实时、改环境、语音指令、Gemini…全来了？？？刚刚，Google DeepMind正式发布新一代「世界模型」——Genie 4。这也是，谷歌迄今为止最逼真且最具交互性的世界模型。一句话实时修改场景、模拟真实物理效果，连人物动作、环境音效和互动对话都能同步生成全安排上了。比如，直接在对话框里输入指令...
微软开始掏钱请员工主动考虑离职。约6万人有资格接受这份邀请，超过公司全球员工的四分之一。这次不用等到临近退休，也不要求绩效不好。符合条件的员工可以拿着补偿，在年底离开公司。颇有点迫不及待想多甩掉一些人的感觉。连微软寄予厚望的Copilot团队，也在覆盖范围内。遥想今年春天，其他部门暂停招聘的时候，Copilot团队还在招人。微软仍然很能挣钱，过去一个财年净利润达到1337亿美元。但随着AI投入扩大，公司预计2026年的资本开支将达到约1750亿美元，外界因此把这轮离职计划与控制成本、为AI投资腾挪资金联系起来。01微软掏钱，请你考虑离职在微软上班，现在可能会遇到这样一道选择题：公司给你一笔钱，...
编辑｜Neo100 多位顶尖数学家，耗费数十年，写下 1.5 万页证明。现在，AI 只用了 24 天，就把这项人类数学史上最庞大的工程之一，变成了 4300 多万行可以由计算机逐步验证的代码。更惊人的是，AI 在检查这些数学家留下的证明时，还揪出了一个存在近 40 年的论证漏洞。这不是一道奥数题，也不是一篇几十页的数学论文，而是被...
IT之家 10 月 28 日消息，OpenAI 于当地时间周一宣布，公司在数学、计算机科学与物理学领域取得了引人瞩目的突破，同时称自身正在调整成果发布的沟通方式。不过，尽管看起来做出了路线修正，接受 The Verge 采访的科研人员对这家公司的行事方式却愈发感到厌烦。IT之家注意到，过去几个月，OpenAI 和数学界之间一直摩擦不断...
IT之家 10 月 28 日消息，据新华社今日报道，美国总统特朗普 27 日在社交媒体“真实社交”发文，表示将很快在“所有相关文件”及其他场合“正式禁止”使用“人工智能（AI）”一词，理由是这一表述“不准确”。不过，帖文中没有具体说明禁令将如何落实。他在帖子中还点名批评美国《华尔街日报》，称后者仍在使用“非常糟糕和...
