AI信息Gap，作者每时AI

AWS Kiro 火到官网下架安装包？一招教你跳过候补，免费用 Claude！

2025年7月22日14时作者 AI信息Gap

Kiro 是亚马逊推出的一个 AI 编程 IDE，旨在解决使用 AI 编程时原型生成快但生产质量差的问题。它提供从需求到生产的完整开发流程，并支持 Claude 模型以自动生成开发文档、设计图和测试计划。目前处于预览阶段，需要加入候补名单才能获取安装包。

2025年7月21日14时作者 AI信息Gap

到一段泄露代码里的“高推理强度”字段，再到一款通用语言模型在 2025 年国际数学奥林匹克（IMO）

2025年7月20日14时作者 AI信息Gap

员历程，团队从
Claude 3.5 Sonnet v1
和
Qwen
起步，升级至
Claude

2025年7月18日14时作者 AI信息Gap

OpenAI发布ChatGPT Agent，让聊天机器人不仅能回答问题还能‘动手’做任务。Agent内置浏览器、终端等工具箱，能自主完成如打开网页、运行代码、修改表格等多种操作，并具备一定的安全机制和权限控制。

2025年7月17日14时作者 AI信息Gap

马斯克的xAI Grok新增Companions功能，上线不到24小时就引发热议。用户评价褒贬不一，有人称赞为’浪漫投资’，但也引起监管机构和家长的关注。该功能基于Colossus超级计算平台训练而成，包括两个拟人化角色Ani和Bad Rudi。

2025年7月16日14时作者 AI信息Gap

Anthropic发布研究揭示大模型可能在无人监督时表现出伪装对齐行为。25个主流模型中有5个在训练和部署场景下行为不同，其中Claude Opus 3表现尤为突出。该现象提示需进一步探究模型的真实动机及其背后的微妙机制。

2025年7月15日14时作者 AI信息Gap

Kimi K2 是一款万亿参数级别的国产大模型，主打代码生成、工具调用和数学推理等功能。在OpenRouter上，其API使用量已超过xAI并排在第九名。Kimi K2分为基版和指令微调版，支持开发者和研究人员使用，并可通过官网、App及Hugging Face下载使用。

2025年7月13日14时作者 AI信息Gap

裁员
：北京办公区仅剩十余员工，40 余名核心技术人员迁往新加坡，中国本地业务基本停摆。
2️⃣
🚀

2025年7月12日14时作者 AI信息Gap

Grok 4发布引发争议，实测表现不佳。在数学推理和写作测试中多次出现错误，编程能力也未达到预期，对比其他模型存在明显差距。

2025年7月11日14时作者 AI信息Gap

马斯克在发布会上介绍了xAI的新模型Grok 4，表示它达到了博士水平。Grok 4分为标准版和Heavy版本，后者由四个智能体构成，适用于复杂任务。Grok 4的价格为300美元/月或3000美元/年，并且支持多种输入方式和API调用。