「小程序制作」共找到 1331 篇相关文章
复读一年，AI 把高考数学成绩从及格线提到 145 分！AI 数学能力发生了什么？
今年媒体让AI做高考数学题，Gemini 2.5 Pro获145分排第一。从去年到今年，AI数学能力指数级增长，这得益于推理模型。推理模型用思维链和强化学习解题，未来高考数学或难区分模型能力。
Karpathy头疼的“AI游戏困境”，被这款15分钟出包的国产神器破解了
8月初Andrej Karpathy指出通用AI做游戏时，LLM无法高效审查工作的弱点。而国产平台Spellcaster能先解析自然语言确定游戏设计，15分钟出包，还内置测试员验证，团队想工程化落地新方向。
Claude 和 Manus 还要人工搭框架？小米直接让 Agent 自我进化
6月12日小米Darwin Agent Team发布论文《HarnessX》，用“系统自进化”终结Harness人工调优时代，带来性能跃升。其让Harness成为“一等公民”，有可组合等特质，还能与模型协同进化，虽有局限但成热门方向。
你的 Harness 工作流真的在进步吗？我们用一场考试撕掉了遮羞布
文章指出Harness工作流常靠‘主观vibes’驱动，缺乏有效评价体系。为此推出Harness Eval评测系统，包含出题、答题、改卷等环节，形成闭环，帮助工作流持续改进，还能提升整体通过率。
Claude官方击穿高薪、高学历的安全防线！Anthropic点名10大高危职业，但有群人暂时稳了
近日，Anthropic发布研究，描绘AI正替代哪些工作。其构建“实际暴露度”指标，基于Claude对话数据测得。研究列出10大“高危”职业，也指出部分工作不受影响，还揭示高暴露群体特征及青年招聘情况。
LeCun的世界模型单GPU就能跑了
LeCun世界模型有新进展，开源极简训练方案LeWorldModel，单GPU就能跑，基于JEPA架构，速度快、参数小、控制强且懂物理，完胜此前JEPA方法，训练更简单。
马斯克转帖，发现了一个有趣的中国 AI 初创产品！
马斯克转帖一个搞怪视频，其中互动内容由AI工具Loopit制作。Loopit是北京涌跃智能科技有限公司新推出的产品，介于Sora App和Spielwerk之间，玩法多样，或掀起一波风浪。
开源3天斩获 2K Star，这个开源 Skills 技能把 AI 的“记忆缺陷”补上了！
最近含金量极高的 Skills 指南 planning-with-files 开源上线 3 天，GitHub Star 达 2k。它复刻 Manus AI 核心模式，将 Markdown 作为 AI Agent 工作内存，采用三文件模式解决 AI 记忆问题。
欧洲版DeepSeek发布Mistral 3系列模型，多模态端云生态，无差别商用交付给全球开发者
欧洲最强AI公司Mistral AI发布全系开源模型Mistral 3，从675B到3B参数打通智能链路，采用先进架构，与业界合作优化，以Apache 2.0协议交付全球开发者，推动开源智能发展。
Snowflake CEO 复盘：为什么 LLM 时代企业需要一个 AI Data Cloud？
Snowflake曾是企业数据平台代表，随AI崛起，CEO Sridhar推动其转型为AI Data Cloud。Snowflake Intelligence上线，不造基础模型，专注放大数据价值，其可靠、计费合理，核心竞争力在数据。