研究：AI重证《几何原本》引用风格异于人类

1. 13:00
   arXiv cs.AI

   研究发现 AI 在数学证明中形成自身风格：倾向从基础元素自底向上构建论证

   三项大语言模型独立重证欧几里得《几何原本》全部 465 个命题后发现，AI 证明与人类证明存在稳定可复现的差异：AI 运行之间的平均成对 Jaccard 相似度约 0.68，接近 AI 与人类证明之间（约 0.37）的两倍。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。