中科院和上海人工智能实验室联手打造几何推理新标准,中]科院人工智能院

更新时间：2026-01-21 18:51 来源：牛马见闻

站得住、走得稳、跑得快 2025年我国发布人形机器人产品超330款

好评中国·“经”彩开局｜服务业红火为中国经济注入澎湃动能

继格陵兰岛后，特朗普称仍在考虑“收回”巴拿马运河；美军曾计划在巴拿马驻军，巴拿马总统批特朗普“撒谎”

特朗普第二任期（第一年）政策盘点：激进改革、制度角力与争议的成绩单

精神的强大从不是空想：在小事磨砺与痛苦修正中淬炼而成,精神足够强大

�比如比如比如

当我们看到(一个？数学老师在黑板上用尺子和圆规一步步画出完美的正五边形时，可能很少会想到这背后蕴含着怎样复杂的推理过程。而现在，来自中国科学院大学和上海人工智能实验室的研究团队正在尝试让人工智能也掌握这种看似简单却极其精密的能力。这项发表于2025年11月的最新研究成果"GGBench：统一多模态模型的几何生成推理基准"，为我们揭示了当前AI在几何构造方面的真实水平，以及未来的发展方向。 这项研究的意义远超表面上看到的"让AI画几何图形"。实际上，它触及了人工智能领域一个长期存在的核心挑战：如何让机器不仅能够理解和分析，还能够主动创造和构建。就像人类从简单的观察发展到能够设计建筑、创造艺术一样，这项研究正在探索AI从被动理解转向主动生成的可能性。 研究团队由魏景轩、贾才俊、白熹、徐星龙等来自中科院大学的研究人员，以及李思远、孙林壮等来自上海人工智能实验室的专家组成。他们发现了当前AI评估体系中的一个重要缺陷：大多数现有的测试要么只考察AI的理解能力，要么只测试其图像生成能力，却很少有测试能够综合评估AI在理解、推理和生成方面的整合能力。 想象一下这样的场景：如果你要求一个学生"在给定圆内作一个正五边形"，一个合格的学生不仅要理解这个要求，还要想出具体的作图步骤，最后还要用尺规准确地画出图形。而现有的AI测试往往只关注其中某一个环节，就像只测试学生是否认识"正五边形"这个词汇，或者只看他画出的图形是否好看，却不考察整个解题过程是否合理。 为了填补这个空白，研究团队开发了GGBench这个全新的评估基准。这个系统的独特之处在于它采用了"三位一体"的数据结构：每个测试问题都包含自然语言描述、可执行的几何代码，以及渲染出的图像。这就好比给AI出了一道既有文字题目，又有标准答案代码，还有最终效果图的综合性考试。 研究团队通过精心设计的流水线收集和筛选了1411个高质量的几何构造问题。这些问题涵盖了从基础的尺规作图到复杂的几何变换，从简单的圆和直线到复杂的多边形构造。每个问题都经过了严格的人工验证，确保其在数学上的正确性和教学上的意义。 这个过程并不简单。研究团队首先从网络上收集了大量的几何问题，然后使用大语言模型进行初步筛选，接着进行人工审查，确保每个问题都具有明确的几何依赖关系和可操作的构造条件。随后，他们使用GPT-5等先进模型生成详细的构造步骤和对应的GeoGebra代码，最后通过专家验证确保每个样本在几何正确性、构造充分性以及文本、代码、图像三种模态之间的精确一致性。 在评估方法上，GGBench采用了四阶段的评估协议。第一阶段评估模型的规划能力，看它是否能在开始画图之前就制定出合理的步骤。第二阶段检查中间过程，确保每一步的推理都是连贯的。第三阶段评估最终结果的几何正确性。第四阶段则给出综合评分。这种多层次的评估就像是对一个学生的全方位考察，不仅看他的最终答案，还要了解他的解题思路和推理过程。 为了确保评估的准确性，研究团队还特别设计了基于视觉语言模型的自动评分系统。这个系统使用GPT-4o作为"智能阅卷老师"，能够自动判断几何图形的正确性和构造过程的合理性。有趣的是，研究团队通过对比发现，这个自动评分系统与人工专家评分之间的相关性高达92.95%，这意味着AI评判AI的准确性已经非常接近人类专家的水平。 一、当前AI的几何推理能力现状 通过对15个主流AI模型的全面测试，研究团队揭示了一个令人深思的现象：在几何生成推理这个看似简单的任务上，即使是最先进的AI模型也表现得差强人意。 最让人意外的是，那些能够直接生成图像的统一多模态模型（UMM），在几何构造任务上的表现竟然远不如那些先生成代码再渲染图像的传统方法。就好比一个能够随手画出逼真人像的画家，在被要求用尺规作出标准几何图形时却频频出错。这种反差揭示了一个重要问题：视觉生成能力与几何推理能力之间并非简单的正相关关系。 在测试中，表现最好的模型是GPT-5，在综合评分中达到了57.08分（满分100分），在人工评估中获得了83.06分。紧随其后的是Claude Sonnet 4.5和DeepSeek-V3.1。相比之下，那些专门设计用于图像生成的模型如Nano Banana、Janus等，尽管在视觉效果上可能更加生动，但在几何精确性上却表现不佳。 这种差异的根源在于几何构造的特殊性质。当我们要求AI"作一个圆的内接正五边形"时，这不仅仅是一个绘画任务，更是一个需要严格数学逻辑的推理过程。AI需要知道正五边形的几何性质，理解"内接"的数学含义，掌握具体的构造方法，并且能够将这些抽象知识转化为精确的图形操作。 研究团队发现，代码驱动的方法之所以表现更好，是因为它们必须将几何推理过程显式地表达为可执行的命令序列。这就像是要求学生不仅要画出图形，还要写出详细的作图步骤说明。这种约束反而帮助模型建立了更加清晰的逻辑链条，从而产生更加准确的结果。 另一个有趣的发现是，即使是在规划阶段，不同模型的表现也相差很大。一些模型能够制定出合理的构造步骤，但在执行阶段却出现了偏差。这就像是理论知识扎实但动手能力不足的学生，知道应该怎么做，但实际操作时却漏洞百出。 特别值得注意的是，纯粹基于像素相似度的评估指标（如PSNR、SSIM等）与几何正确性之间的相关性很低。一个在视觉上看起来很相似的图形，可能在几何关系上存在严重错误。比如两个圆看起来都很圆，但一个是真正的圆，另一个可能是椭圆。这种微妙但关键的差异只有通过专门的几何评估才能发现。 二、模型在不同难度和类型任务中的表现差异 当研究团队将1411个测试题按照难度分为简单、中等和困难三个级别时，他们发现了一个既符合预期又令人担忧的模式：几乎所有模型都在困难任务上表现出了显著的性能下降，但下降的幅度远超想象。 在简单任务上，大多数模型还能保持相对稳定的表现。这些任务通常涉及基本的几何元素，如画直线、作圆、找中点等。就像小学生也能用尺子画出一条直线一样，这些基础操作对AI来说相对容易掌握。但是当任务复杂度增加时，问题就开始显现了。 中等难度的任务要求模型处理多步推理和几何变换，比如旋转、反射、缩放等操作。在这个阶段，模型需要在保持几何不变量的同时执行复杂的空间操作。研究发现，许多模型在这类任务上开始出现明显的错误，特别是在标签一致性和对象重用策略方面。 到了困难级别，任务往往需要长距离的推理链条和递归的几何构造。比如从一个切圆开始，逐步构造正方形、正八边形，最后得到正十六边形。这种层次化的分解和递归应用对当前的AI模型来说是一个巨大的挑战。即使是表现最好的GPT-5，在困难任务上的得分也比简单任务低了近6分。 更有趣的是，研究团队还分析了模型在不同几何构造类型上的表现。他们将任务分为三大类：尺规作图、几何变换构造，以及解析几何构造。结果显示，大多数模型在尺规作图任务上表现最好，这类任务强调基于明确规则的程序化操作。几何变换任务的表现中等，因为这需要模型理解和维护几何不变性。而解析几何构造的表现最差，因为这类任务需要更大的空间灵活性，同时结构约束相对较少。 在八个主要的几何推理类别中，基础构造和圆的性质构造在所有难度级别上都占主导地位，而高阶推理类型如几何定理应用和度量比例在困难任务中变得更加频繁。这种分层确保了从基础几何执行到高级抽象问题解决的均衡覆盖。 研究团队还发现了一个令人深思的现象：模型的有效性很大程度上取决于模态对齐和具体几何推理范式的结合。那些擅长结构化约束类别（如基础构造和三角形性质构造）的模型，在需要量化和定理级推理的任务上却表现不佳。这表明，虽然某些模型能有效地处理语法几何，但它们在更深层的符号算术整合方面仍有不足。 三、几何推理中的常见错误模式 通过对大量错误案例的深入分析，研究团队识别出了四种主要的错误类型，这些错误模式揭示了当前AI在几何推理方面的根本性局限。 第一种是几何逻辑错误，通常源于对几何定理的误用。比如在构造一个30度角的任务中，模型可能会错误地应用圆周角定理。研究团队发现了一个典型案例：模型错误地将顶点C放在了劣弧AB上来实现角ACB等于30度。但根据圆周角定理，要从60度的圆心角AOB得到30度的圆周角ACB，顶点C必须位于优弧AB上。将C放在劣弧上实际上会产生150度的角，而不是所需的30度。这种错误表明模型虽然知道相关定理，但在具体应用时缺乏深层理解。 第二种是结构和上下文错误，涉及对图形包含关系或空间关系的混淆。一个典型例子是当任务要求"构造一个圆内接矩形"时，模型却绘制了一个正方形内接圆，完全颠倒了包含关系。这突显了模型在将符号推理与几何约束相结合时的困难，表面上的文本正确性导致了无效的构造。 第三种错误是构造与计算目标的混淆。模型有时会正确识别目标角度（比如80度的圆心角），但在旋转输入时使用错误的角度值。研究团队观察到一个案例，模型正确计算出需要80度的圆心角来产生40度的圆周角，但在实际实现中却使用了80度（和-80度）作为从点A的旋转输入，结果构造出160度的圆心角，产生了80度而不是40度的圆周角。 第四种是代码实现错误，通常由命名冲突引起。当定义点A、B、C时，GeoGebra会自动为它们的对边保留小写变量a、b、c。如果脚本试图重新定义这些保留变量，就会导致"重定义失败"的错误。这种技术性错误虽然看似简单，但却反映了模型在处理形式化系统约束时的不足。 这些错误模式的分析揭示了一个重要问题：当前的AI模型在几何推理方面仍然存在系统性缺陷。它们往往能够掌握表面的语法规则，但在深层的语义理解和约束满足方面还有很大不足。就像一个只记住了公式却不理解其物理意义的学生，模型可能能够重复正确的步骤，但在面对新情况时就会出错。 更深层的问题在于，这些错误往往不是随机的，而是系统性的。模型倾向于在某些类型的任务上反复犯同样的错误，这表明问题可能在于训练数据的偏差或模型架构的局限性。比如，模型可能在训练中更多地接触到某种类型的几何构造，从而在面对其他类型时表现不佳。 四、评估方法的创新与挑战 GGBench在评估方法上的创新，可以说是这项研究的另一个重要贡献。传统的AI评估往往依赖于简单的答案匹配或表面相似度比较，就像只看学生的最终答案而不关心解题过程。但几何推理的复杂性要求一种更加全面和精细的评估方法。 研究团队设计的四阶段评估协议就像是一场全方位的几何能力考试。在规划阶段，评估系统检查模型是否能在动手之前制定出合理的构造策略。这就好比考察学生在开始作图前是否能说出清晰的步骤规划。评估标准包括逻辑连贯性、步骤完整性和几何正确性，每个维度都采用1到5的评分标准。 中间过程评估则关注模型在执行过程中的一致性。系统会将所有中间构造图像串联成一个时间序列面板，然后评估每一步的准确性和整体的过程一致性。这种方法能够捕捉到那些最终结果看起来正确但推理过程有缺陷的情况。 最终结果评估不仅考虑几何正确性，还结合了像素级别的相似度指标。但研究团队特别强调，几何一致性始终优先于视觉相似性。一个在像素上完全相同但几何关系错误的图形，仍然会被判定为不正确。 为了验证自动评估的可靠性，研究团队进行了大规模的人工评估实验。三名具有数学教育和几何建模背景的领域专家对每个模型的100个样本进行了独立评分。结果显示，自动评分与人工评分之间的皮尔逊相关系数达到了0.9295，这个高度的一致性证明了自动评估系统的可靠性。 然而，这种评估方法也面临着挑战。首先是评估标准的主观性问题。尽管研究团队制定了详细的评分准则，但在某些边缘情况下，不同评估者可能会有不同的判断。其次是计算成本问题。每个样本需要经过多个阶段的评估，特别是需要调用大型视觉语言模型进行判断，这使得大规模评估变得相当昂贵。 另一个挑战是评估范围的限制。虽然GGBench涵盖了广泛的几何构造任务，但它主要关注的是平面几何，对于立体几何、微分几何等其他几何分支的覆盖还不够全面。此外，评估主要基于最终的几何正确性，对于构造的优雅性、效率等美学和实用性方面的考虑还比较有限。 研究团队还发现了一个有趣的现象：不同类型的错误在评估中的权重处理是一个微妙的问题。比如，一个在几何逻辑上完全错误但视觉效果很好的构造，与一个逻辑正确但执行有瑕疵的构造，应该如何比较其优劣？这种权衡反映了几何推理评估的复杂性。 五、对统一多模态模型发展的启示 GGBench的研究结果为统一多模态模型的发展提供了重要启示，特别是在理解与生成能力整合方面揭示了一些令人深思的问题。 最显著的发现是，当前被称为"统一"的多模态模型实际上在理解和生成之间存在着明显的能力断层。这就像一个人可能很擅长欣赏音乐，但让他作曲就完全不行了。研究表明，那些在图像生成任务上表现出色的模型，在需要精确几何约束的构造任务上却经常失败。 这种现象的根源可能在于训练方式的差异。大多数图像生成模型是通过学习大量的图像数据来掌握视觉模式，而几何构造需要的是基于明确规则和逻辑约束的推理能力。前者更像是艺术创作，后者更像是工程设计。当前的模型架构可能还无法很好地平衡这两种不同的能力要求。 研究团队发现，代码生成路径的模型表现明显优于直接图像生成路径，这提示我们一个重要方向：可能需要在多模态模型中引入更多的结构化中间表示。就像人类数学家在解决几何问题时会先在心中构建符号化的逻辑链条，然后再转化为具体的图形操作，AI模型也许需要类似的分层处理机制。 另一个重要启示是关于评估标准的重新思考。传统的多模态模型评估往往侧重于感知相似性或生成质量的主观判断，但GGBench的结果表明，这种评估方式可能遗漏了更重要的逻辑一致性和约束满足能力。未来的多模态模型可能需要在训练和评估中更多地关注这些结构化的推理能力。 研究还揭示了一个有趣的悖论：模型的规模和复杂度并不总是与几何推理能力成正比。一些参数较少但专门针对代码生成优化的模型，在某些几何任务上的表现反而超过了更大规模的通用多模态模型。这提示我们，可能需要重新考虑模型设计的策略，不是单纯追求规模，而是更关注能力的专门化和深度。 从技术发展的角度看，GGBench的结果暗示着几个可能的研究方向。首先是如何在多模态模型中更好地整合符号推理能力，让模型能够在生成过程中维持逻辑一致性。其次是如何设计更有效的训练策略，使模型能够同时掌握感知理解和结构化生成这两种不同的能力。最后是如何建立更全面的评估框架，能够准确衡量模型在复杂推理任务上的真实表现。 这些发现对于人工智能的实际应用也有重要意义。在教育、工程设计、科学研究等领域，我们往往需要AI不仅能够理解复杂的概念，还能够基于这些理解创造出准确、可验证的结果。GGBench的研究提醒我们，在这些关键应用场景中，我们需要更加谨慎地评估AI的能力边界。 六、几何构造作为AI能力测试的独特价值 几何构造作为AI能力测试手段的价值，远超我们最初的想象。研究团队选择几何构造作为评估载体，绝非偶然，而是经过深思熟虑的结果。 几何构造的独特之处在于它完美融合了多种认知能力。当面对一个"作圆的内切正五边形"的任务时，AI需要首先理解自然语言中的几何概念，然后激活相关的数学知识，接着制定具体的构造策略，最后将抽象的几何关系转化为精确的图形操作。这个过程涉及了语言理解、知识推理、规划决策和空间操作等多个层面，是对AI综合能力的全方位考验。 与其他测试任务相比，几何构造具有客观可验证的特性。在自然语言处理或图像识别任务中，往往存在多种"正确"答案或主观判断的空间。但在几何构造中，一个圆要么是圆，要么不是，一个角要么是30度，要么不是。这种明确性使得评估变得更加可靠和有意义。 更重要的是，几何构造要求AI展现出真正的"生成性智能"。传统的AI任务往往是从已有选项中选择答案，或者识别已有内容的特征。而几何构造要求AI从无到有地创造出满足特定约束的图形，这种创造性生成能力正是通向更高级AI的关键。 几何构造还具有层次化的复杂度结构。从简单的两点连线到复杂的多步嵌套构造，任务的难度可以精确控制和量化。这使得研究者能够细致地分析AI在不同复杂度水平上的能力变化，从而更好地理解模型的能力边界和改进方向。 研究团队还发现，几何构造任务能够有效区分不同类型的AI能力。那些主要依赖模式识别的模型在简单任务上可能表现尚可，但在需要多步推理的复杂任务上就会暴露短板。而那些具有强符号推理能力的模型则会表现出更好的一致性和可扩展性。 另一个独特价值在于几何构造的教育意义。几何一直是数学教育的重要组成部分，不仅因为其实用价值，更因为它培养的逻辑思维和空间想象能力。通过几何构造任务，我们不仅能评估AI的当前能力，还能探索AI在教育应用中的潜力。 几何构造还提供了一个研究AI"直觉"发展的窗口。人类几何学家往往能通过直觉快速判断一个构造方案的可行性，而不需要进行完整的计算验证。观察AI在几何构造中的行为模式，可能有助于我们理解机器直觉的形成机制。 从更广泛的角度看，几何构造代表了一类重要的问题：在满足约束条件的前提下进行创造性生成。这类问题在工程设计、艺术创作、科学发现等领域都有广泛应用。因此，AI在几何构造上的能力水平，某种程度上预示了其在这些更广阔领域中的应用前景。 七、未来发展方向与研究前景 基于GGBench的研究成果，我们可以展望几何推理和多模态AI发展的未来方向。这些方向不仅具有理论意义，更有着广泛的实际应用价值。 首先，研究团队指出了一个重要的发展方向：建立更加统一的理解-生成框架。当前的多模态模型往往在理解和生成之间存在割裂，就像一个人的左右脑无法很好协调工作。未来的模型需要在架构设计上更好地融合这两种能力，让理解过程直接指导生成过程，而生成结果又能反馈优化理解能力。 在技术实现层面，研究暗示了几个可能的突破方向。一是引入更强的符号推理机制，让模型能够维持严格的逻辑一致性。二是设计分层的生成架构，先生成抽象的构造计划，再逐步细化为具体的操作序列。三是开发更好的约束满足算法，确保生成的结果始终满足几何规律。 评估方法的完善也是一个重要方向。虽然GGBench已经提供了一个相当全面的评估框架，但仍有改进空间。比如，如何更好地评估构造过程的优雅性和效率，如何处理多种等价构造方案的比较，如何扩展到三维几何等更复杂的场景。 从应用前景看，几何推理AI的发展将在多个领域产生重大影响。在教育领域，AI可能成为更加智能的几何教学助手，不仅能够解答学生问题，还能够演示构造过程，甚至根据学生的理解水平调整教学策略。在工程设计领域，具有强几何推理能力的AI可能助力自动化设计工具的发展，让计算机能够理解设计意图并生成相应的技术方案。 科学研究也是一个充满潜力的应用场景。许多科学问题涉及复杂的几何关系和空间结构，从分子化学到天体物理学都不例外。能够进行几何推理的AI可能帮助科学家发现新的模式和规律，甚至提出创新的假设。 研究团队还提到了一个更加宏远的愿景：从几何构造扩展到更广泛的结构化创造任务。几何构造只是一个起点，类似的推理模式可能适用于音乐作曲、建筑设计、软件开发等众多创造性领域。这些领域都需要在满足特定约束的前提下进行创新，这正是几何推理能力的核心所在。 当然，这个发展道路上也存在挑战。计算复杂度是一个现实问题，复杂的几何推理往往需要大量的计算资源。如何在保持推理准确性的同时提高效率，是一个需要持续研究的问题。另外，如何处理不确定性和模糊性也是一个挑战，真实世界的几何问题往往不像教科书例题那样明确和完整。 数据质量和多样性也是需要关注的问题。虽然GGBench提供了一个高质量的基准数据集，但要训练出真正强大的几何推理模型，可能还需要更大规模、更多样化的训练数据。这就需要研究社区共同努力，建立更完善的数据资源和共享机制。 说到底，GGBench不仅仅是一个评估工具，更是一扇窗户，让我们看到了AI在理解、推理和创造方面的现状与未来。它提醒我们，真正的人工智能不应该只是模式识别或内容生成的机器，而应该是能够理解抽象概念、进行逻辑推理、并创造出有意义结果的智能体。从这个角度看，几何推理的研究意义远超几何本身，它为我们指出了通向更高级AI的路径。 这项由中科院大学魏景轩、贾才俊等研究人员以及上海人工智能实验室李思远、孙林壮等专家共同完成的研究，发表于2025年11月，论文编号为arXiv:2511.11134。对这项研究感兴趣的读者可以通过该编号查询完整的技术细节。研究团队不仅提供了详细的数据集和代码，还建立了可供其他研究者使用的评估平台，这为整个领域的发展奠定了重要基础。未来，随着更多研究者的参与和技术的不断进步，我们有理由期待AI在几何推理乃至更广泛的结构化创造任务中展现出更加令人惊喜的能力。 Q&A Q1：GGBench与普通的AI图像生成测试有什么不同？ A：GGBench不仅测试AI能否画出好看的图形，更关注AI是否真正理解几何逻辑并能准确构造。它要求AI先理解几何概念，制定构造步骤，然后生成精确符合数学规律的图形，就像考察学生是否真正掌握了几何知识而不是死记硬背。 Q2：为什么直接生成图像的AI模型表现反而不如代码生成模型？ A：因为几何构造需要严格的逻辑推理和精确的约束满足，而不是艺术性的视觉效果。代码生成路径强迫AI将几何推理过程显式表达为可执行步骤，这种约束反而帮助模型建立更清晰的逻辑链条，产生更准确的结果。 Q3：GGBench的研究结果对AI教育应用有什么意义？ A：这项研究揭示了当前AI在几何教学方面的能力边界，表明AI还无法完全替代人类教师进行复杂几何概念的教学。不过，它也为开发更智能的几何教学助手指明了方向，未来的AI可能能够更好地理解学生需求并提供个性化的几何学习支持。

编辑：魏子昕