纽约大学数学教授Tristan Buckmaster周四在CNBC节目《Squawk Box》中表示，OpenAI周二集中发布的数学研究成果，打乱了部分年轻数学家的研究工作。他称，一些完整的研究计划因此失去了继续推进的空间。 OpenAI此次在GitHub上发布逾700篇数学论文手稿，称这些成果来自内部前沿模型，并为其中许多证明提供了可由计算机核验的版本。这次发布并非展示单个问题的解法，而是一次性公开大量研究结果，直接触及研究者正在推进的课题。 西北大学数学教授Bryna Kra认为，AI可以推动数学研究，大批量发布成果也会影响学界的协作方式。数学家经常通过报告和交流分享尚未完成的想法。她担忧……
标签： GitHub
-
哈佛研究：AI编程智能体让代码量增加30%，软件交付未显著增长
哈佛大学研究人员 Fiona Chen 和 James Stratton 发现，企业引入AI编程智能体后，生成的代码行数平均增加30%，代码提交次数增加20%，合并请求增加23%，实际完成的软件任务和功能却没有显著增加。写代码环节节省的时间，被后续审查和修改消耗。 研究使用工程团队分析平台 Jellyfish 的汇总数据，覆盖700多家软件开发企业、超过70万名员工，以及2021年至2026年3月的3亿次工作事件，包括代码提交、合并请求和任务管理记录。研究人员结合直接记录的AI使用情况与GitHub活动，比较不同企业引入工具前后的变化。 研究区分了两类工具：编程助手主要为人类编写的代码提供自动……
-
纽约大学教授称OpenAI一次发布700多篇数学论文，打乱青年研究者项目
纽约大学数学教授Tristan Buckmaster周四在CNBC节目《Squawk Box》中表示，OpenAI周二集中发布700多篇数学论文，打乱了部分青年数学家的研究工作。他称，一些完整研究计划因这次批量公开成果而失去了原有方向。 OpenAI将这些论文上传至GitHub，称其来自内部前沿模型，并为许多证明提供了可由计算机核验的版本。这次发布既公开了数学结果，也提供了检查部分推导的方式。Buckmaster提出，研究者尚未发表的研究计划经评审人员输入大语言模型后，是否参与了这些成果的生成。OpenAI未回应置评请求。 西北大学数学教授Bryna Kra认为，AI可以推进数学研究，集中发布……
-
Anthropic推出免费OSS Scanner，用Claude模型为开源项目查找漏洞
Anthropic推出面向开源项目的免费漏洞扫描服务OSS Scanner，使用包括Claude Mythos在内的高能力模型查找安全缺陷并生成报告。服务属于Anthropic Cyber Mission计划，面向对基础设施和用户安全具有重要影响的项目，由核心维护者主动申请接入。 维护者需向Anthropic设立的GitHub仓库提交拉取请求，准入标准与Google的OSS-Fuzz类似。扫描报告完全由模型生成，不经过人工审核或分级处理，每份报告包含可独立运行的漏洞复现程序、漏洞说明，并在能够确认时标明缺陷引入时间；有可用修复方案时，还会提供候选补丁。 这套流程通过省去逐份人工审核，提高扫描频……
-
Anthropic推出免费开源漏洞扫描服务，首批生成数百份报告
Anthropic推出OSS Scanner，为符合条件的开源项目免费扫描安全漏洞。该服务使用包括Claude Mythos在内的高能力模型，查找代码缺陷并生成漏洞报告，将AI发现漏洞的能力用于软件防御。 项目须主动申请：核心维护者向Anthropic指定的GitHub仓库提交拉取请求，资格标准类似Google的OSS-Fuzz，重点覆盖对基础设施和用户安全有关键影响的项目。报告包含可独立运行的漏洞复现程序、漏洞解释，并尽可能标明缺陷引入时间，提供候选修复补丁，让维护者能够复现问题并着手修复。 与人工核验的漏洞披露流程不同，OSS Scanner的报告完全由模型生成，不经过人工审核或分级处理。……
-
微软推动 Windows 运行 AI 智能体，Surface 新机可本地运行超千亿参数模型
微软在本周举行的 Windows 与 Surface 活动上，提出以 Windows 11 为基础，将系统转向支持 AI 智能体的操作平台。其方案结合本地与云端模型，让部分 AI 任务直接在电脑上完成，减少调用云端模型产生的费用。微软首席执行官 Satya Nadella 与 Windows 负责人 Pavan Davuluri 介绍了这一方向。 现场演示包括 GitHub Copilot 在本地完成编程任务、可在电脑上运行的多种模型，以及 OpenClaw、Hermes、Perplexity 等智能体，微软还展示了 Copilot 与 Windows 的进一步整合。当前展示主要面向开发者和创……
-
微软股价回落1.35%，Azure与Copilot连接云计算和AI业务
微软股价在10月8日回落，素材所列截至当日20时28分的报价为522.61美元，下跌7.15美元，跌幅1.35%。同日，标普500指数和纳斯达克综合指数从本周早些时候的纪录高位回撤，债券收益率上升、油价重新逼近每桶100美元，构成科技股交易的主要背景。 微软的AI业务同时覆盖算力服务和办公应用。Azure向企业提供计算、存储、数据库及AI服务，承接企业将业务从自有数据中心迁往云端的需求，也为训练和运行AI模型提供计算资源。微软正在建设数据中心、采购图形处理器，并扩充供电和冷却设施，每年相关资本投入达到数百亿美元规模。 在应用端，微软将Copilot接入办公软件、Teams、Dynamics和G……
-
GitHub Copilot 正式上线 Claude Haiku 5.5，主打快速编码与低令牌消耗
GitHub 在 Copilot 中正式上线 Anthropic 的 Claude Haiku 5.5，用户可通过 GitHub Copilot 应用、命令行工具 CLI 或 VS Code 使用这款轻量级模型。此次更新面向需要快速响应、频繁执行的开发工作，包括子智能体任务、代码快速修改和终端操作，为 Copilot 增加了一个侧重速度与高频任务处理的模型选择。GitHub 表示，早期测试显示，Claude Haiku 5.5 在多项编码任务中达到了与 Claude Sonnet 5 相当的表现，同时使用的令牌和执行步骤明显更少。这一结果对应的是完成编码任务所需的资源与过程开销：对于反复修改代……
-
GitHub Copilot 本地沙箱正式可用，可细化文件与网络访问权限
GitHub 宣布，GitHub Copilot 的本地沙箱功能现已正式可用，支持在隔离环境中运行命令，并对文件、网络、系统能力和凭据的访问进行控制。用户可在 GitHub Copilot CLI、GitHub Copilot app 或 VS Code 中使用这项功能，为 Copilot 执行命令设置更细的权限边界。此次更新针对的是命令执行环境：让 Copilot 执行开发任务时，其能够接触哪些文件、访问哪些网络资源、调用哪些系统能力，以及使用哪些凭据，都有相应的访问控制，而不只是由用户决定是否执行某条命令。对于企业团队，本地沙箱还提供了集中管理策略的方式，使组织能够统一管理相关权限要求，无……
-
OpenAI公开372项AI生成数学成果，附机器验证形式化内容
OpenAI在GitHub公开了372项由AI生成的数学成果，其中包含用于机器验证的Lean形式化内容。每项成果平均消耗约3小时的ChatGPT Pro计算资源。这次公开的重点是数学结果及其验证材料，而非新模型或新产品。 Lean形式化是把数学命题和证明写成计算机能够检查的形式，让验证不只依靠读者审阅自然语言推导。此次材料将AI生成数学成果与机器检查结合，为学术界检验这些结果提供了具体对象。 数学界的争论则集中在成果数量与研究价值之间。25位菲尔兹奖得主警告，大规模生产数学真命题可能破坏孕育新思想的研究土壤，而不是催生新的思想。他们质疑的重点，是批量产出能否真正推动数学研究，而非单纯增加可验证……
-
OpenAI公开372项AI生成数学结果，附Lean形式化证明供机器验证
OpenAI在GitHub公开了372项由AI生成的数学结果，其中包含可供机器验证的Lean形式化证明。每项结果平均消耗约3小时的ChatGPT Pro计算资源。这批公开材料把AI参与数学研究的产出，具体呈现为可查看、可检验的结果与证明。 Lean形式化证明的作用，是将数学推导写成计算机能够按规则检查的形式。它与只用自然语言解释解题过程的区别，在于证明步骤可以交给机器核验。此次公开内容因此既涉及AI生成数学结果，也涉及如何检查这些结果的证明。 围绕批量生成数学成果，25位菲尔兹奖得主提出警告：大量生产数学真理，可能破坏孕育新思想的研究土壤，而非催生新的想法。他们质疑的重点是，这种生产方式会如何……
-
OpenAI称新模型解决逾100道数学难题，数学家要求以论文公开成果
OpenAI称，8月28日开始训练的一款内部模型，除解决纳维—斯托克斯千禧年大奖难题外，还解决了数学多个领域100多道长期未解问题。公司发言人McCallum表示，团队正参考普林斯顿高等研究院数学与人工智能咨询小组的建议，筹备公开后续成果，尚未确定发布时间。 争议集中在成果如何公开、验证和署名。西北大学数学家Bryna Kra透露，与会数学家曾要求OpenAI发表解释推导过程的论文，而非像此前公布10道问题时那样，仅通过博客或推文发布。知情人士称，公司曾告知相关人士，计划周二在GitHub集中发布数百项未解问题的求解结果。 9月的一次求解行动还引发了署名纠纷。OpenAI部署数千个智能体，尝试……
-
GitHub介绍AI代码审查基准ReviewBench，覆盖19种语言、219个PR
GitHub介绍了新的开放基准ReviewBench，用于评估AI代码审查智能体能否发现重要问题，同时避免产生过多无效提示。该基准的设计参考了对1.039亿个GitHub拉取请求（PR）的分析，评测集包含覆盖19种编程语言的219个PR，开发者可以携带自己的代码审查智能体参与评测并提交结果。ReviewBench关注的不只是AI能否给出审查意见，还包括这些意见是否命中了真正需要处理的问题，以及是否给开发者增加了噪声。这为代码审查工具提供了一个具体的测试入口：团队可以将自己的智能体放到基准中检验，而不必仅凭演示案例判断效果。需要区分的是，1.039亿个PR是基准设计所参考的分析规模，实际评测集为……
-
微软AI营销负责人透露：AI复杂任务让固定月费模式难以提供最佳结果
微软负责工作场景AI的营销负责人Jared Spataro在接受采访时透露，今年1月，管理层研究Anthropic的Claude Code后发现，AI调用多种工具完成复杂任务的能力，正在改变软件收费逻辑。他表示，按用户收取固定月费，已难以持续提供最佳任务结果，微软因此着手调整商业模式。 微软将这套方案称为按使用量计费，首个采用该模式的产品是Copilot Cowork。它可以接收较大型的办公任务，并展示执行进度。纳德拉在7月财报电话会上表示，当月为Cowork加入按量计费后，已有数千家客户付费并实际使用。现有Microsoft 365 Copilot则每人每月额外收费30美元，拥有3000万个……
-
GitHub Copilot 应用并排呈现代码差异、终端和浏览器
GitHub 介绍了 GitHub Copilot 应用的并排审查界面，将代码差异、终端和浏览器放在一起，让开发者检查智能体生成的代码、运行命令并预览效果。开发者可以在代码差异视图中查看改动，在终端中执行操作，再通过浏览器核对页面表现，减少在不同标签页之间来回切换。此次展示聚焦智能体交付代码后的审查环节：生成代码之后，开发者仍需核对修改内容、验证运行结果，并检查实际呈现是否符合要求。把这三个视图并排呈现，有助于在检查代码时同步参照执行结果与页面效果，缩短查找和切换相关界面的路径。GitHub 此次没有披露该界面的具体上线时间、支持平台或套餐范围，也没有公布代码审查效率的量化数据。据X（@git……
-
印度要求苹果下架 Jack Dorsey 的离线通信应用 Bitchat
苹果按印度政府要求，在当地 App Store 下架了 Jack Dorsey 的去中心化通信应用 Bitchat。Dorsey 10月3日公布的苹果通知显示，印度电子和信息技术部依据《信息技术法》第69A条提出要求，TestFlight 测试渠道也将在印度被封锁，其他国家的 App Store 继续提供该应用。 TechCrunch 当天核查发现，印度 Google Play 已无法下载 Bitchat，其官网在当地多家互联网服务商的网络中也无法访问。苹果通知确认了政府下架要求，Google 和网络服务商是否收到同类指令尚无公开答复。 Bitchat 于2025年7月推出，通过蓝牙让附近设备……
-
Splice CEO Kakul Srivastava指出：AI代写文档会削弱团队真实交流
Splice首席执行官Kakul Srivastava在The Verge于10月3日刊出的问卷访谈中表示，她对AI代写工作文档保持警惕：当同事无法判断文字背后是否有一个真正思考的人，围绕文档展开的讨论就会改变，交流质量也会下降。她认为，音乐创作同样需要保留人的参与。 Splice是一家音乐采样平台，为制作人提供单次音效和旋律循环素材，其素材曾用于Lisa的《Money》和Sabrina Carpenter的《Espresso》。Srivastava此前在Flickr、雅虎、GitHub和Adobe担任管理职务，在Splice任内推动收购Spitfire Audio，并参与公司生成式AI业务的……
-
GitHub Game Off 将于11月1日回归，活动主题暂未公布
GitHub 宣布，游戏开发活动 Game Off 将于11月1日回归，目前已开放参与入口，活动主题尚未公布。官方预告将主题以遮挡字符呈现，并表示参与者可在太平洋时间13时37分主题揭晓时第一时间获知内容。此次公告确认了活动回归日期，但没有披露具体主题、开发要求、提交截止日期或评选安排。希望参加的开发者现阶段可以先加入活动，待主题公开后再确定游戏创作方向。据X（@github）报道。
-
Umia向外部项目开放，首个公布的Slop Cash按开源代码采纳结果付费
Umia于10月2日宣布向外部项目开放，首个公布的项目Slop Cash面向开源软件，为人类和AI智能体贡献者分配奖励。该项目由AI智能体框架elizaOS创建者Shaw Walters与Drew Pierson共同开发，从平台储备的200多个项目中获选，产品已上线。 Slop Cash不按提交数量付费，而是只为已合并的代码变更和已接受的代码评审计分。资助方为代码仓库设立月度奖金池，贡献者照常在GitHub工作，评分规则与结果公开。每月结果形成公开提案，经过14天审核窗口后，由资助方用自己的钱包签署付款，Slop Cash不控制付款钱包。 自7月以来，产品已完成三个月度周期的评分，覆盖约1万次……
-
GitHub Copilot 模型选择器加入 Project HydraFusion 及新模型
GitHub 在 Copilot 模型选择器中加入了 Project HydraFusion 及新模型，并通过官方 X 账号邀请用户试用。此次更新明确涉及 Copilot 的模型选择入口，但公告未列出新增模型的具体名称、版本或提供方，也没有解释 Project HydraFusion 的功能及其与其他模型的关系。官方这条简短消息同样没有说明适用订阅、开放范围或收费变化，因此尚不能据此判断所有用户是否都能看到新增选项，也无法比较它们在编程能力、响应速度和使用额度上的差异。据X（@github）报道。