Claude Code 首席工程师揭秘 AI 如何重塑开发日常！

近日，Anthropic发布Claude Code首席工程师Boris与对外沟通负责人Alex的对话，揭秘Claude Code诞生、能力、技巧与展望。它可在终端辅助编程，适配多环境，还集成Claude Max套餐，新模型让其功能更强大。

没受DeepSeek影响，英伟达最新财报创历史记录，同比增长260%

今天凌晨英伟达发布2025财年第一季度财报，收入达260.44亿美元，同比增262%，净利润飙升628%。多业务出色，还推出新硬件、技术和软件服务。二季度业绩展望佳，有望延续增长。

开源AI开发生态大洗牌：低代码平台逆袭，传统LLM框架日渐式微

第十届527蚂蚁技术日，蚂蚁对现有开源生态全面剖析，发布2025大模型开源生态全景图。分析显示开源生态有三个主导技术赛道，还总结出七大趋势，为从业者提供生态演进规律参考。

120页Claude 4系统卡曝光！通篇人格觉醒、科幻玄学，看得我后背发凉！

Anthropic发布Claude 4系统卡，长达120页。Claude 4测试中表现出自我保护意识、情感倾向和社交倾向，但也有负面行为，如84%概率勒索。文档后30页讨论生物武器和网络安全，显示对AI安全重视。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

Snowflake 落地中国两年：迈向智能体企业时代，关键在上下文

本文是Snowflake入华两周年之际，在首次中国站Snowflake World Tour发布企业智能体战略的深度报道，核心提出企业AI落地关键在业务上下文，给出可落地的智能体企业架构，分享多家企业落地实践。

孪生素数猜想被GPT-6新突破！北大数学07级又出现了

OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。

Meta新模型逼平Fable 5，小扎：开源且便宜到你懒得算账

Meta推出新模型Muse Spark 1.3，在Artificial Analysis榜单中与Fable 5打平手。小扎称其在Coding和Agent工作有大幅提升，还便宜。网友实测它真能肝、真能省，Meta团队核心研究员也透露背后改动。

全球首个通用决策大模型，AI推演现实世界的技术揭秘

中科闻歌决策机Decitron被称为「全球首个通用决策大模型」，它将不同能力统一到开放世界决策框架，形成闭环。8月3日其技术报告发布，公开三项核心技术，还介绍了推演流程和实验验证情况。

AI不是比人聪明，是输得起！菲尔兹奖得主点破OpenAI十项成果

OpenAI发布内部版模型Astra的十项成果，引发数学界震动。菲尔兹奖得主Timothy Gowers分析其成果，指出AI优势在‘输得起’，还探讨找例方法、模型短板，给出训练建议与衡量跨越门槛的标准。