arXiv最新MechGeo框架:欧几里得几何自动形式化与GEO推理新范式