大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点 2025年6月22日16时 作者 机器之心 — 哪怕最终答案是对的，只要中间某一步出现纰漏，整个证明就可能不成立。我们不禁提问：这些答案是模型通
