arXiv 研究：LLM 数学证明风格与人类不同，偏爱从头构建推理链
研究者让三个大模型重证了 Euclid《Elements》全部 465 个命题，再用网络分析对比引用结构。发现 AI 有 40% 引用指向定义和公设，人类只有 13%，AI 喜欢从零搭论证而不是引用成熟定理。做形式化验证或用模型辅助写数学论文的人都值得看看这套量化方法。
研究者让三个大模型重证了 Euclid《Elements》全部 465 个命题，再用网络分析对比引用结构。发现 AI 有 40% 引用指向定义和公设，人类只有 13%，AI 喜欢从零搭论证而不是引用成熟定理。做形式化验证或用模型辅助写数学论文的人都值得看看这套量化方法。