「可验证」共找到 4567 篇相关文章
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
Claude Code 推出云端龙虾：/schedule 命令让 AI 自己排班干活
Claude Code 发布 `/schedule` 命令，可在云端创建定时任务，让 Claude 自动干活，即便关电脑任务也照跑。该功能用法简单，还支持多种创建方式和执行频率。此外，Claude Code 三月更新频繁，正从编程助手转向自动化成员。
当「变大」不再是唯一的路，又一国产模型开源了
2026年6月智谱开源GLM - 5.2，心洲科技前沿实验室Mind Lab开源Macaron - V1，基座升级至GLM - 5.2。它押注持续学习与群体智能，成绩优于基座，相关理念和工程路径获验证。
LiveWorld：视频世界模型新范式，让镜头之外的世界继续演化
现有视频世界模型存在“静态世界假设”，物体离开视野后状态不再更新。阿德莱德大学等研究者提出 LiveWorld，将世界演化与观察渲染解耦，使事件在视野外持续推进，并通过实验验证其有效性。
手机上也能写代码？Happy Coder 最佳实践完整指南
Happy Coder可让手机控制电脑上的Claude Code会话，实时双向同步。它由CLI、手机App和中继服务器组成，安装简单，有多种最佳实践和工作流模式，还具端对端加密的安全性。
谷歌首个原生多模态向量模型发布：Agent 可以用文字搜图片、用图片搜视频了...
谷歌推出首个原生多模态嵌入模型Gemini Embedding 2，通过Gemini API和Vertex AI公开预览。它将文本、图像等映射到统一向量空间，支持多模态交错输入，性能超越现有领先模型，开发者可快速接入。
有手就行，教你从0到1快速手搓搭建个GUI Agent
随着通用大模型发展，搭建GUI Agent难度降低。文章介绍如何用通用大模型API，从0到1搭建PC GUI Agent，包括原理、代码实现等，该Agent能跨应用操作，未来可强化功能。
AI 美妆 ARR 一年增 14 倍达 5500 万美金；另一 Newsletter 阅读 App 融了 600 万美金
海外创业者做的 Newsletter 聚合阅读 App Perch 融 600 万美金，可聚合内容，有语音朗读和 AI 摘要功能，还有类似 X 的推荐机制。同时，AI 美妆产品一年 ARR 增 14 倍达 5500 万美金。
把任何文档变成Claude的新技能，这个开源工具火了。
Claude新出Skills，类似插件让其有自定义可调用功能。开源工具Skill Seekers能把网站文档转换成可使用技能。介绍了Skills特点及Skill Seekers功能原理、特点等，效率提升显著。
号称视频编辑领域的开源nano banana来了，用文字就能改视频
DecartAI开源Lucy Edit模型，号称视频领域开源Nano Banana，能理解自然语言指令改视频。如输入指令可精准换服装等，渲染快，有身份保持和动态适配亮点，有多个版本，应用场景广。