AI现在真的成了数学家的超强外挂,完全不是网上说的抢饭碗的角色。 就拿怀尔斯那篇费马大定理的经典证明来说,当年学界花了好几年才慢慢把几百页的内容逐行核验完,现在Anthropic的Claude模型只用11天,就把它转成了1300万行可被计算机逐步骤校验的形式化证明,连数论学家孔托罗维奇都直呼震撼。
AI现在真的成了数学家的超强外挂,完全不是网上说的抢饭碗的角色。
就拿怀尔斯那篇费马大定理的经典证明来说,当年学界花了好几年才慢慢把几百页的内容逐行核验完,现在Anthropic的Claude模型只用11天,就把它转成了1300万行可被计算机逐步骤校验的形式化证明,连数论学家孔托罗维奇都直呼震撼。