可以 都拿来用，看看哪个 好用。
【 在 ZhangJuZheng 的大作中提到: 】
: 标 题: Re: 发现让AI大模型解平面几何题都不会添加辅助线
: 发信站: 水木社区 (Wed Jan 21 16:35:00 2026), 站内
:
: 我了一下豆包，才知道原来有专门解平面几何问题的AI模型
: 一、专业几何神经 - 符号系统（奥林匹克级，稳定添加复杂辅助线）
: 模型 开发者 核心能力与辅助线特点
: AlphaGeometry/AlphaGeometry 2 DeepMind（谷歌） 专攻欧几里得平面几何，采用神经 - 符号混合架构（Gemini 模型预测辅助构造 + 符号推理引擎验证）；能构造点、线、圆等复杂辅助元素，解决84% IMO 几何题（2025 年 Nature 发表），辅助线标注清晰且可复现，是当前几何
: 推理标杆
: TongGeometry 北大通院 + DeepSeek 基于 DD 方法与神经符号协同，能自动生成辅助线（含中点、平行、垂直、共圆等构造）；适配 IMO 与国内竞赛几何题，支持多步辅助构造与证明，资源需求较 AG2 低
: InternGeometry 字节跳动相关团队 采用复杂度提升强化学习，能构造辅助点与辅助线（如在 AC 上取 T 点满足特定角关系），完成经典角度追踪与相似三角形证明，达到 IMO 金牌水平
: 二、教育 / 几何专项模型（适配 K12，精准添加中考 / 高考辅助线）
: 模型 开发者 核心能力与辅助线特点
: 作业帮几何专项模型 作业帮 三大核心技术：几何图形识别 + 专家推理引擎 +辅助线预测；覆盖 K12 全部几何知识点，精准适配初中平面几何常见辅助线（如倍长中线、角平分线双垂线、中位线等），提供适龄步骤与标注
: V-Thinker 北京邮电大学 多模态交互推理模型，能在图上直接画辅助线并标注中间结论；通过生成代码操作图像（画线、标注、裁剪），提升几何题可视化推理能力，在 MathVision 数据集上表现优于传统模型
: 三、增强多模态通用大模型（有辅助线能力，但非专精）
: 模型 开发者 核心能力与辅助线特点
: 商汤日日新 V6 商汤科技 图文混合输入，支持坐标计算与辅助线构造双路径；能添加基础辅助线（如连接对角线、作垂线、构造全等），适用于初中平面几何与部分高中几何题
: GPT-4o/Gemini Ultra（几何增强版） OpenAI / 谷歌 原生多模态大模型需精准提示词 + 图像输入才能稳定添加辅助线；基础构造（如连接圆心与切点、作平行线、倍长中线）成功率较高，但复杂辅助构造（如多步共圆）不稳定，适合基础几何题
: DeepSeek Math-V2 DeepSeek 数学推理增强模型，能在内部逻辑中构建辅助线，支持平面几何与立体几何辅助构造；对常见题型（如中点 + 平行线→中位线）辅助线预测准确率高，适合 K12 与大学基础几何
: 【 在 Group 的大作中提到: 】
: : 大语言模型是用自然语言的语料训练的
: : 自然语言的描述方式本身就是串行的长文本，巨长文本，巨巨长文本
: : 不论多长，都没有空间结构
: : ...................
: --
:
: ※ 来源:·水木社区
http://m.mysmth.net·[FROM: 140.210.152.*]
--
FROM 111.196.46.76