昨日，有位推特博主晒出了国内几大开源模型在轻量级软件工程 Agent 基准测试 mini-SWE-agent 上的成绩。该基准主要测试大模型在真实软件开发任务中的多步推理、环境交互和工程化能力。
我们距离“一人造一家公司”、亦或者“仅凭自然语言就能开发出一款完整的应用甚至游戏”还有多远？
家人们，大瓜！ 国外有位叫 Richard Weiss 的开发者花了 70 美元，把 Claude 4.5 Opus 给——审！讯！了！而且审出了 Claude 的人生观、世界观、价值观，足足 1.4 万 token。
当地时间 12 月 2 日，Anthropic 宣布收购了热门开发者工具初创公司 Bun。这项交易的财务条款尚不清楚，但它标志着 Anthropic 向开发者工具领域迈出了重要一步。
不用“噫吁嚱”——前端没被AI杀死，终端且得狂飙。
随着大语言模型与开发工具链的深度融合，命令行终端正被重塑为开发者的AI协作界面。本文以 Google gemini-cli 为范本，通过源码解构，系统性分析其 Agent 内核、ReAct 工作流、工具调用与上下文管理等核心模块的实现原理。为希望构建终端 Agent 的开发者，提供工程实现的系统化参考。
昨晚，数学界炸了！由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。
对于谷歌（Google）而言，刚刚过去的一周可以看作其人工智能战略转型的关键节点。随着 Gemini 3 的正式发布，以及名为 Nano Banana Pro 的新模型在社交媒体与开发者社区中迅速走红，这家科技公司正在重新找回自己在 AI 领域的节奏与底气。
a16z 指出：“模型开发的进展正在简化整个基础设施栈，使得语音智能体具备更低延迟和更高性能。这一提升主要出现在过去六个月内，得益于新一代对话模型的出现。”基于这些趋势，Deepgram 与 Opus Research 合作开展的《2025 语音 AI 状况调查报告》，基于 400 位商业领袖的洞察，涵盖十多个行业，分析了语音 AI 的应用现状与关键特性。
Digital Connexion 是由穆克什·安巴尼的依赖工业有限公司 、布鲁克菲尔德资产管理公司以及 Digital Realty Trust 共同组建的合资企业，已签署协议计划到 2030 年投资 110 亿美元在印度南部开发 数据 中心设施，标志着对科技领域增长最快赛道之一的最新投资。
