研究人员成功将现代AI模型与几何形式系统整合，建立了一个完整且兼容的平面几何形式系统。他们提出了几何形式化理论（GFT），构建了包含88个几何谓词和196个定理的形式系统，并开发了形式几何问题解决器（FGPS）。实验证明GFT的正确性和实用性。

在过去十年中，研究人员成功将现代AI模型与几何形式系统整合，为IMO级别的平面几何问题提供了可读、可追溯和可验证的解决方案。他们开发了FGPS作为交互式助手和自动化问题解决器，并创建了一个包含6,981个几何问题的数据集。实验证明该系统的正确性和实用性。