「AI数据平台」共找到 11535 篇相关文章
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
Yann LeCun放出憋了20年的大招：Meta开源V-JEPA 2世界模型
Meta发布V-JEPA 2世界模型，参数高达10亿，推理速度比英伟达Cosmos快30倍。它基于Vision Transformer架构，是Yann LeCun倡导多年的JEPA路线成果，仅需62小时机器人数据训练就能执行任务，打脸质疑者。
10行代码，AIME24/25提高15%！揭秘大模型强化学习熵机制
来自多机构的研究者揭示大模型强化学习中熵变化机制。发现策略熵在训练中急剧下降致性能停滞，提出 Clip - Cov 与 KL - Cov 两种正则化技术调控高协方差标记，遏制熵塌缩，在部分数据集上性能提升显著。
离谱，偶然发现一个逆天MCP...
作者偶然发现滴滴入局打车MCP，用其接入苹果打造能通过Siri用嘴打车的Agent。介绍了将滴滴MCP接入Claude Code、Fastgpt、n8n等工具的过程，还分享用Siri实现嘴打车的流程，认为其填补AI打车空白。
Kimi K3设计榜登顶焚诀公开：就藏在思维链里
Kimi K3在Design Arena单次生成前端榜单中夺冠。它做前端设计审美一流，靠独特思维链反复迭代优化方案，还具备强大数据索引能力。不过上线48小时因算力不足叫停新订阅。
别再设计 Prompt，顶尖工程师已经开始写 Loop 了！
2026年6月，“Loop Engineering（循环工程）”一词热门起来。其核心主张是不用再亲自给AI写提示词，而是设计驱动Agent的循环。Anthropic的工程师还写成了完整手册，介绍搭建方法、关键及最佳实践等。
存储大厂疯抢EUV光刻机
4月15日，光刻机巨头ASML发布2026年第一季度财报，虽受季节性等因素影响营收环比回落，但仍超预期。受AI基建投资热潮提振，其股价飙升，还回馈股东。存储客户订单大增，不过仍受出口管制困扰。
Vibe Coding 有了，Vibe Design 呢？Lovart 让不会设计的人也能输出专业素材
作者用 AI 编程一年多，但标签页表情包提醒自己不是设计师。现有生图工具生成的 PNG 不能直接当 logo 用，而 Lovart 打通从 PNG 到 SVG 的路，让无设计知识的人也能输出专业素材。
30秒，我用蚂蚁灵光复刻了个支付宝（doge）
蚂蚁集团推出全模态通用AI助手灵光，最快30秒生成私人定制小APP，可编辑交互分享。实测其功能丰富且专业，实现多模态输出和多智能体协作。还对比了与千问区别，介绍蚂蚁AGI布局。
Claude不让我们用！国产平替能顶上吗？
全球AI代码生成竞争格局生变，Anthropic地位动摇，一是OpenAI GPT - 5崛起，二是自身迷之操作。此时国产大模型发力，如Kimi - K2 - 0905、Qwen3 - Max - Preview，性能和价格有优势，有望改变竞争格局。