Anthropic宣布其AI系统Claude在Lean证明助手中仅用11天，就完成了费马大定理的首个完整计算机可验证证明。该定理由Andrew Wiles于1995年首次给出手工证明，其形式化验证长期被视为极其复杂的工作。Claude生成的证明...

据GeekWire报道，住宅建筑AI软件初创公司Digs宣布完成2530万美元A轮融资，由建筑材料巨头Builders FirstSource领投。Digs总部位于美国华盛顿州温哥华，专注于为住宅建筑行业开发人工智能软件。本轮融资将帮助其进一...

Replit宣布推出免费模式（Free Mode），用户在日常任务中调用OpenAI GPT-5.6 Luna时将不再消耗积分，官方称可让创作产出提升30倍。该模式通过全新界面打通聊天、任务执行与完整项目构建之间的流程，使从想法到成品的...

据路透社报道，总部位于奥斯汀的国防科技初创公司Smack Technologies宣布完成6100万美元B轮融资，由Costanoa和First In领投。该公司专注于为美国军方开发人工智能决策工具，旨在提升战场态势感知、任务规划与指挥控...

Adapt 在最新博客中提出一种面向AI辅助开发的新工程范式“Build Wide, Ship Narrow”（宽构建、窄交付）。传统开发流程要求在编码前紧密规划功能边界，而新方法鼓励先进行更广泛的初始构建，再借助AI工具迭代细化。团...

随着大语言模型越来越多地参与代码生成，软件开发生命周期正面临前所未有的挑战：代码上线速度快了，但失控风险也随之增加。LaunchDarkly 推出的 CodeControl 平台正是为了解决这一矛盾，帮助团队对AI生成代码的执行...

Generative UI（生成式用户界面）正试图从根本上改变人机交互的形态，它将传统AI聊天中冗长的“文字墙”替换为根据用户意图动态生成的交互界面。这一范式被划分为三类生成模式：静态/受控生成，模型仅选择工具参数，由...

随着AI编码代理（如Copilot、Codium等）日益普及，开发者正面临一个全新的挑战：由AI一次性生成的巨型拉取请求（Pull Request）因改动范围过大、逻辑混杂，几乎无法被有效审查。针对这一痛点，GitHub官方提出并推广“...