「代数世界模型」共找到 8317 篇相关文章
突破人工瓶颈：可自主迭代进化的工业AI系统Astar
阿里与浙大推出指导 AI 系统自主进化的模型 Astar，通过学习历史提交记录探索改进方向，落地 Lazada 推荐业务使线上 GMV 提升 4.86%。
1500万美元！OpenAI联手Anthropic，请数学家给AI「验卷」
OpenAI与Anthropic联合Simons基金会承诺1500万美元资金与资源，资助数学家检验AI成果。此前OpenAI放出722篇模型手稿，次日就因符号错误撤回3篇。
R-HORIZON：长程推理时代来临，复旦NLP&美团LongCat重磅发布LRMs能力边界探测新范式
复旦大学与美团LongCat Team联合推出R - HORIZON，它是首个系统性评估与增强LRMs长链推理能力的方法与基准。提出Query Composition方法构建评测基准和训练数据，评测发现主流模型长链推理性能断崖式下降，还分析出三大瓶颈，训练后模型性能双重提升。
91% ≈ 0%？谷歌最新研究，戳破工程 Agent 的高正确率泡沫
Google 与 Mercor 联合发布物理工程评测 PLE。测试显示 Claude 模型虽能满足 91% 的单项约束，但因各项条件关联，仅 41.3% 的方案满足全部硬性安全要求。
JetBrains 新开源的 AI IDE，登上了 GitHub 热榜！
JetBrains 开源智能体编程工具 ThinkRail。它为每个任务分配独立的 Git 工作区，避免多 Agent 并行时改乱代码，并通过规范文档帮模型维持长期项目记忆。
清华Nature子刊：上千智能体组网后自发站队，观点极化涌现
清华大学等团队在《自然·通讯》发表研究，将 1000 个大模型连入网络自由交流，中立观点在不到 10 轮互动后急剧萎缩至最低 0.4%，自发分化成对立阵营。
接入它之后，微信成了我的生产力工具
墨问 Bots 开启公测，功能全部免费使用但需自备模型订阅。用户扫码即可将 Bot 接入个人微信，直接在微信对话或群聊中派发日常任务，或远程操控电脑写代码。
AI接管代码，程序员如何另寻出路？
猎聘报告显示，今年前三季度传统程序员新发职位同比下降8%，超四分之一程序员考虑转型；而软件与算法等新方向招聘逆势增长，AI大模型岗位平均年薪达52.4万元。
AWS让400个私有API变工具，20多个MCP服务不用建
客户互动平台 MoEngage 借助 AWS 托管网关，将约 400 个私有 API 直接转为模型工具，免建 20 多个 MCP 服务并预计省下半年工期，新接口接入从数天缩至数小时。
八年孤独，Iceberg 赢得世界
本文讲述 Iceberg 的发展历程、技术特性、用户案例及商业生态。它从解决 Hive 痛点孵化，经开发者、客户、厂商推动成开放表格式标准。其 V3 Spec 补充短板，社区开始构想 V4 。诸多科技大厂深度使用并贡献代码。