「编程未来」共找到 3222 篇相关文章
7,700+ star 微软 SkillOpt 可以训练的Skill
微软研究院开源了SkillOpt（7700+ star），把Skill文档当成‘可训练的权重’来优化。它有独特的6阶段流水线、核心验证门控、Protected Regions机制，还有SkillOpt - Sleep预览功能，让Skill文档可系统化训练。
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
突发！卡帕西官宣加入Anthropic，OpenAI对家挤满了前员工
安德烈·卡帕西宣布加入 Anthropic，负责 Claude 模型大规模训练。他是知名 AI 研究者，曾任职 OpenAI、特斯拉等。此前 AI 人才争夺 Meta 和 OpenAI 是主角，Anthropic 闷声吸纳了卡帕西，OpenAI 联合创始团队成员多有流失。
HyperEyes：从「搜得更深」到「搜得更宽」，并行多模态搜索智能体的效率革命
小红书研究团队提出 HyperEyes 模型，打破现有多模态搜索智能体串行处理模式困局。通过全栈设计实现并行多模态搜索范式跃迁，在多基准测试中表现优异，证明准确率与效率可协同进化。
Claude新政，抛弃最忠实的Agent用户
6月15日起，Anthropic将Agent SDK用量从订阅中剥离，按API零售价另给固定额度，重度用户可用量缩水近十倍。OpenAI趁机推出Codex企业免费迁移。这是ASI决赛圈定价战，AI付费或转向按实际消耗计费。
The Batch: 954 | Kimi K2.6 挑战开源权重模型领先者
Moonshot AI升级后的Kimi K2.6是1万亿参数的视觉 - 语言模型，专为代码生成设计，性能与Qwen3.6 Max Preview等相当，略逊顶级闭源模型。其功能多，幻觉率低，模型权重可免费下载。
一个只有70行的文件，凭什么拿下GitHub 10万星？
GitHub上‘andrej - karpathy - skills’项目爆火，核心是不到70行的CLAUDE.md文件，给出AI编程助手行为准则。其火的原因有解决痛点、名人背书等，价值在于证明‘上下文工程’重要。
3个月手搓Gamma架构，这个团队打造出了场景白盒化推理的“下一代内容OS”
AI应用从生成范式转向任务执行范式，Pi团队3个月手搓Gamma架构，打造出场景白盒化推理的“下一代内容OS”。Pi将AI生成与人的编辑能力结合，解决传统创作难题，实现创作全流程系统内闭环。
Anthropic开始抢科学家了？周薪2.7万驻场，专治Claude专家级错误
Anthropic新推出STEM Fellow岗位，招募STEM领域专家驻场三个月，周薪3800美元，用其判断力校准Claude输出质量。其三年来科研路线不断加码，正构建科研生态。AI科研瓶颈是判断力而非算力。
单Agent时代正式结束：一个干不过，就上300个
月之暗面发布并开源 Kimi K2.6 模型，热度高。它强化 Agent 团队协作能力，核心能力进步，领先对手。在编程领域发力，长程编码能力突破，集群协同输出强，还适配框架，实测效果出色，Claw 群组开启内测。