标签： DeepSeek

AI不断攻克未解数学难题，数学家们心情复杂

AI 模型开始直接否证数学家几十年未解的猜想，从"辅助工具"变成了"解题伙伴"，数学界正在分裂为拥抱派和警惕派——真正的冲突不是 AI 能不能做数学，而是人还要不要做数学。

YC 将内部使用的多智能体协作框架 QM 开源，提供按人与共享空间组织的多用户工作环境，并支持在多个模型与运行框架之间切换，让团队级 AI 协作有了新的开源选项。

Cursor在最近的更新中移除了使用量页面和CSV导出文件里的美元成本信息，个人与Teams计划用户只能看到token数量，官方确认这是有意设计。对依赖精细成本追踪的团队和开发者来说，这直接削弱了预算管控能力。

技术投资人@Phoenixyin13 近日在社交媒体上重新把“复杂系统”推向 AI 讨论中心：还原论主导科学三百年，但面对大语言模型、意识、生命起源这类问题已经失效；未来 AI 的真正突破，可能要从“理解涌现”开始，而不是继续拆零件。

DeepSeek 正在为其 Agent Harness 项目招募开源开发者参与内测，要求报名者提供 GitHub ID 和开源代表作。这意味着 DeepSeek 有意借助外部开发者生态，加速智能体编排框架的迭代。

一位工程师在 X 上分享了面试 AI Agent 工程师时关于 LLM 流式输出 UI 渲染性能的回答，核心思路不是“更快地重绘”，而是“少重绘、轻节点、按需交互”。这类实践正在成为大模型应用前端开发的通用经验。

OpenAI CEO Sam Altman 在 X 上提议，父母可以用 ChatGPT 连接家庭日历、结合孩子兴趣，每天自动生成一段播客来“了解孩子”，结果引发大规模批评——回复“你为什么不直接和你的孩子聊聊”获得了 12 万点赞。

纽约时报援引 Epoch AI 的预测指出，未来几年将有一大批 AI 算力陆续上线，全球在用的 AI 芯片数量预计每九个月翻一番。算力供给的快速膨胀，正在成为影响大模型训练成本、产品定价和产业竞争格局的关键变量。

杨立昆公开否认“通用智能”存在，认为人类智能本身高度专用化；但最新评测和商业化数据却显示认知通用性已有实质进展。这场争论本质是“G”的定义权之争，而不是对大模型能力的一票否决。

开发者“达芬七Seven”将开源图像模型 Z-Image 打包成约 45GB 的一键安装包，并附带 42 个风格 LoRA，让普通 8GB 显存显卡也能本地生成高质量图片。这意味着过去依赖云端大模型或付费 API 的生图门槛，正在被几千块的消费级硬件击穿。