研究显示 AI 数学证明风格与人类明显不同
热点事件持续更新
研究显示 AI 数学证明风格与人类明显不同
1 篇报道1 个报道来源53 分钟前更新
先了解这件事
AI 综述
Xiaokai Li 等研究者在 arXiv 发布论文，让三个大语言模型独立重新证明《几何原本》全部 465 个命题，并与人类证明的引用结构对比，发现 AI 证明风格与人类明显不同且可复现，研究者称这种风格为“从零搭建”。 数据显示，AI 之间两两 Jaccard 相似度约 0.68，几乎是 AI 与人类之间（约 0.37）的两倍；约 40% 的 AI 引用指向定义、公设等基础元素，而人类证明中这一比例仅为 13%，即 AI 倾向于从基础公理重新搭起论证，而非直接引用已有定理。
AI 根据报道生成 · 28 分钟前更新
最新进展11月14日 13:00
AI 证明数学题有自己独特的风格：从基础公理重新搭起论证报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- arXiv cs.AIAI 证明数学题有自己独特的风格：从基础公理重新搭起论证
一项研究让三个大语言模型独立重新证明《几何原本》全部 465 个命题，并与人类证明的引用结构对比。结果显示 AI 证明的引用风格与人类明显不同且可复现：AI 之间两两 Jaccard 相似度约 0.68，几乎是 AI 与人类之间（约 0.37）的两倍；约 40% 的 AI 引用指向定义、公设等基础元素，人类仅为 13%。研究者将这种从基础出发而非直接引用已有定理的风格称为“从零搭建”。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。