Anthropic宣布在 Claude Code 平台推出全新AI代码审查工具 Code Review ，旨在在漏洞进入代码库之前自动识别潜在问题，从而缓解企业开发流程中因代码审查压力激增带来的效率瓶颈。该功能已于周一上线，并以研究预览形式首先向 Claude for Teams 与 Claude for Enterprise 客户开放。

前两天有个朋友问我最近在忙什么。我说翻了两本书。一本回忆录，542 页。一本讲 OpenAI 和 DeepMind 的，350 ...

解读：在经过人工验证的、相对标准的 Issue 修复任务上，Qwen3 并没有展现出统治力，反而是 MiniMax 这种黑马表现抢眼。这说明在“标准题”上，各家模型差异不大，甚至 Qwen3 还有点“偏科”。

继 ChatGPT 和 Claude 网页版相继推出语音交互后，AI 编程领域也迎来了“动嘴”革命。当地时间3月3日，AI 巨头 Anthropic 宣布为其面向开发者的命令行工具 Claude Code 正式引入语音模式。这意味着开发者现在可以跳过键盘，直接通过语音指令让 AI 执行复杂的编程任务。

陶哲轩在视频开始就明确了任务目标：将集合论中的“单例定律”（Singleton Law）从非形式化的自然语言描述，转化为 Lean 系统能够编译和严格验证的代码。简而言之，该定律论证了对于任意集合 A 和元素 x，单例集合 {x}属于 A ...

近日，Anthropic公司推出的Claude Code Security工具在网络安全行业掀起热议，这款基于最新Claude Opus 4.6模型打造的人工智能工具，凭借专业的代码漏洞扫描能力和解决方案输出能力，成为行业内关注的焦点。Claude Code Security官网更是披露了该工具发现的3个典型0day漏洞。国内数字安全领军企业安恒信息迅速行动，其自研的恒脑安全智能体开启对标验证工作 ...

在软件开发领域，随着自然语言指令生成代码技术（Vibe Coding）的广泛应用，程序员的生产效率得到显著提升，但同时也引发了代码质量参差不齐、逻辑漏洞频发等新问题。为应对这一挑战，人工智能公司Anthropic近日面向企业用户推出了一款名为Code Review的AI代码审计工具，通过自动化技术为企业提供专业级的代码质量评估服务。 该工具作为Claude ...

当地时间2月23日，Anthropic表示Claude ...

在科技界的深夜，一场看似不起眼的动作却悄然掀起了波澜。7月23日凌晨，阿里云通义实验室推出的Qwen3-Coder代码大模型，迅速在开发者社区内引发轰动。 Qwen3-Coder一经问世，便在Hugging Face和GitHub平台上迅速积累了数千个星标，其模型权重文件更是在短时间内被 ...

JetBrains于2月19日发布了Visual Studio Code的Java到Kotlin转换器扩展，旨在帮助Java开发者更容易采用Kotlin语言。该扩展可从VS Code市场下载，支持通过右键菜单将Java文件转换为Kotlin代码，减少了迁移遗留代码库的手工工作。扩展使用与JetBrains IDE相同的底层引擎，并利用大语言模型提供符合Kotlin语法习惯的转换建议，为开发者提供一 ...