代码

让大模型合成检查器：UIUC团队挖出Linux内核90余个长期潜伏漏洞

这篇论文的作者来自伊利诺伊大学香槟分校（UIUC）张令明老师团队，包括：杨晨源，四年级博士生，研究方向是基于 AI 大模型的软件系统可靠性保障；赵子杰，四年级博士生，研究方向是模糊测试等软件工程技术与 AI 大模型的结合；谢子晨，科研实习生，目前为弗吉尼亚大学一年级博士生；李皓宇，科研实习生，目前为 UIUC 一年级博士生。张令明老师现任 UIUC 计算机系副教授，主要从事软件工程、机器学习、代码大模型的相关研究。想象一下，大语言模型不仅能生成代码，还能通过静态分析看代码找漏洞：在千万行的 Linux 内核代码中挖出 92 个长期潜伏的真实缺陷 —— 这也可能是 LLM 首次在 Linux 内核中发现如此多的实际漏洞。

9/28/2025 9:13:00 AM

OpenAI官方揭秘：我们这样用Codex写代码「7大核心用法、6条最佳实践首次公开」

Codex已深入OpenAI各大技术团队的日常工作，包括安全、产品工程、前端、API、基础设施和性能工程等本文基于对OpenAI工程师的访谈和内部使用数据，汇编了多个用例和最佳实践，展示Codex如何帮助团队更快地行动、提高工作质量，并大规模地管理复杂性：代码理解Codex帮助我们的团队在新员工入职、调试或调查事故时，快速熟悉代码库的陌生部分。工程师们常用Codex来定位功能的核心逻辑、梳理服务或模块间的关系，并追踪系统中的数据流。它还能揭示架构模式或缺失的文档，而这些通常需要大量手动工作才能生成。

9/22/2025 9:07:00 AM

马斯克亲口证实xAI代码库被盗！涉案前员工被起诉，已跳槽OpenAI

刚刚，马斯克自曝，xAI的整个代码库都被偷走了。就在今天，xAI起诉了一名离职员工，指控他窃取商业机密。而且按xAI的说法，这名员工已经跳槽到了OpenAI。

9/1/2025 9:00:00 AM

深度揭秘OpenAI如何让GPT-5「技术性」超越Claude：悄悄跳过最难的23道题

几天前，OpenAI发布会上，奥特曼宣布GPT-5登顶了，号称代码能力全球第一。但发布会上搞了一个大乌龙，52.8＞69.1=30.8？于是，OpenAI那些年薪上亿的天才们做的一张表格火遍了全世界（左边）。

8/20/2025 12:24:23 PM

OpenAI发布代码Agent：开启自动化编程时代，超强智能体！

OpenAI在官网发布了一个全新基于云端的代码Agent——Codex。 Codex可以为开发人员自动执行多种任务，例如，编写功能代码、回答有关代码库的问题、修复错误以及提出拉取请求审查等；每个任务都在自己的云端沙盒环境中运行，同时能预加载用户的代码库。据悉，Codex由Codex-1模型提供支持，这是OpenAI-o3的一个微调版本，专门针对软件工程进行了优化。

5/19/2025 9:10:00 AM

OpenAI推出全新云端代码助手Codex，助力开发者提升效率

OpenAI 近日在其官网上发布了一个全新的云端代码助手 ——Codex。这款强大的工具旨在为开发人员提供更高效的编码体验，能够自动执行多种编码相关任务，让程序员从繁琐的细节中解放出来。 Codex 的功能十分强大，可以帮助开发者编写功能代码、回答关于代码库的问题、修复程序错误以及提出拉取请求的审查等。

5/19/2025 9:00:55 AM

AI在线

OpenAI 发布全新编程智能体 Codex

最近，OpenAI 推出了一款全新 AI 编程助手 Codex，这款智能编程工具由全新优化的 codex-1模型支持，是OpenAI-o3的一个微调版本，专门针对软件工程进行了优化。 Codex具备多任务并行处理的能力，能在短短30分钟内完成原本需要数天才能完成的开发任务。 Codex 的上线预示着一个人人都能轻松开发出热门应用的时代即将来临。

5/19/2025 9:00:55 AM

AI在线

刚刚，OpenAI开放GPT-4.1，100万上下文、代码能力超强

今天凌晨1点30，OpenAI宣布开放GPT-4.1，从今天开始可以在ChatGPT中使用。 GPT-4.1是一款专门针对编码任务和指令执行的模型，推理效率非常高，对于日常编码需求来说，是替代o3和o4-mini非常好的选择。 GPT-4.1是OpenAI发布的最新模型，其最大亮点之一就是支持100万tokens上下文，这也是OpenAI首次发布长窗口模型。

5/15/2025 9:16:00 AM

实测o3/o4-mini：3分钟解决欧拉问题，OpenAI最强模型名副其实！

号称“OpenAI迄今为止最强模型”，o3/o4-mini真实能力究竟如何？就在发布后的几小时内，网友们的第一波实测已新鲜出炉。最强推理模型o3，即使遇上首位全职提示词工程师Riley Goodside的“刻意刁难”，也顺利过关：图片可以看到，面对藏在一堆玩具里的手绘图表，它也能通过图像识别和推理能力正确解答。

4/18/2025 11:18:51 AM

量子位

从思考到行动：大模型自主工具调用能力的深度实现

本项目由复旦大学知识工场实验室肖仰华教授、梁家卿青年副研究员领导，博士生韩槿一，硕士生李廷云、熊程元、姜子上、王昕奕等同学共同参与完成。 GPT - 4o、Deepseek - R1 等高级模型已展现出令人惊叹的「深度思考」能力：理解上下文关联、拆解多步骤问题、甚至通过思维链（Chain - of - Thought）进行自我验证、自我反思等推理过程。但是，多数主流模型仍在基础问题上犯错，复杂四则运算计算失误，简单「两个小数比大小」出错、甚至连数清楚 strawberry 里有几个「r」都能翻车……即使提示像 R1 这样具备深度思考能力的大模型也要消耗大量的 token 才能勉强答对。

4/17/2025 10:43:00 AM

机器之心

DeepSeek再度升级，厉害了！

当代的程序员，避免不了各种AI工具打交道，可以说，这些AI工具早已成为我们生活和工作的一部分。从之前的ChatGpt，到今年年初开源的DeepSeek爆火，国产新锐 DeepSeek 犹如一匹黑马，将中国的 AI 技术从“追赶者”转变为“引领者”。现在各个大厂也都纷纷部署了DeepSeek，我也把重心从国外的产品转向了国内 AI。

4/3/2025 1:25:00 AM

刘欣

DeepSeek V3深夜低调升级，代码进化令人震惊，网友实测可媲美Claude 3.5/3.7 Sonnet

昨夜，DeepSeek V3 毫无征兆地来了一波更新，升级到了「DeepSeek-V3-0324」版本。目前，新版本在 Hugging Face 上可以下载并部署。 Hugging Face 地址：，DeepSeek-V3-0324 没有公布详细的模型卡。

3/25/2025 9:48:22 AM

机器之心

陶哲轩：o3-mini纠正了我一个数学错误，十分钟解决原本一小时才能完成的题目

大模型持续震惊科学家！以往一小时才能完成的代码，现在十分钟就能实现「生成、测试到得出结果」。 “大模型推广大神”陶哲轩又来分享他的亲测体验了。

3/18/2025 9:19:26 AM

量子位

OpenAI 更新 macOS 版 ChatGPT:可在 IDE 中直接编辑代码

近日，OpenAI 宣布 macOS 版 ChatGPT 新增重磅功能:用户可在 IDE 中直接编辑代码，目前仅限 Plus、Pro 和 Team 订阅用户使用。根据 X 平台推文，这一更新将 ChatGPT 从对话工具升级为开发者生产力助手。 OpenAI 在 X 上透露:“适用于 macOS 的 ChatGPT 现在可在 IDE 中直接编辑代码。

3/7/2025 10:02:00 AM

AI在线

DeepSeek开源第三弹：惊人的300行代码驱动R1和V3的训练与推理，超越各种专家内核

DeepSeek开源周第三弹！ DeepSeek-AI 重磅发布高效FP8 GEMM库 DeepGEMM：极致性能，代码精简，助力V3/R1模型训练与推理！简单来说这是由 DeepSeek-AI 团队精心打造的 FP8 通用矩阵乘法 (GEMM) 加速库，专为追求极致性能和代码简洁而生我们一起来扒一扒：Hopper GPU 上狂飙 1350 FP8 TFLOPS！

2/26/2025 10:11:01 AM

AI寒武纪