搜索：生成器与验证器

「生成器与验证器」共找到 7122 篇相关文章

103K「硬核」题，让大模型突破数学推理瓶颈

现有大语言模型在数学推理训练时面临数据瓶颈，腾讯AI Lab与上海交大团队推出DeepMath - 103K数据集。它规模大、难度高、数据新颖、严格去污染，让DeepMath系列模型达SOTA，还能实现推理泛化。

LRMs扩展到长文本场景是挑战，阿里开源QwenLong-L1框架，是首个用强化学习训练用于长文本推理的模型。它含三个核心组件，QwenLong-L1-32B性能领先，与Claude-3.7-Sonnet-Thinking相当。

今天凌晨1点CNBC消息，OpenAI将以64亿美元全资收购前苹果iPhone设计师乔尼・艾维的AI设备初创公司io，推动其进军硬件领域。艾维将承担深度创意与设计职责，其创意团队Love From保持独立。

菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。

本文是苹果秋季新品发布会的深度报道，详解苹果首款折叠屏iPhone Duo的技术设计、配置参数与国行定价，同步更新iPhone 18系列、AirPods 5、新款Apple Watch的升级亮点，以及苹果AI的最新进展。

Casdoor是可自己部署的IAM/SSO服务端，像“身份门”，一次认证后将多种身份管理功能集成。它协议覆盖广、能衔接认证与权限管理等。但使用时也得认真治理，避免越权问题。

7月7日，荆华密算与人保北京市分公司、AI原点社区签下全球首单AI企业数据损害赔偿责任保险。荆华密算构建“双重信任闭环”，一手技术自证，一手保险兜底，其产品“墨镜熊”正在内测。

AI科技评论独家消息，开普勒机器人联合创始人胡德波2026年4月成立索塔无界。该公司聚焦通用基座模型，以统一潜空间世界动作模型为核心，提出物理智能大脑技术路线，已与欧美企业达成合作意向。

中科大的这篇Survey从全新情景认知视角对大模型Agent进行综述，给出Agent本质，介绍Agentic AI定义、大模型五层演化理论等，还以OpenClaw为例说明，旨在提供理解框架与未来方向。

本文聚焦Multi - Agents模拟预测这一AI前沿方向，介绍其发展、原理、应用场景及代表公司。它能为人类社会建可反复运行的“世界模型”，虽潜力大，但面临验证难、技术瓶颈等问题。