刚刚，Claude首次证明费马大定理，清华姚班大神出手了

Anthropic旗下AI模型Claude在数学推理领域取得突破，首次成功证明了数论领域著名难题费马大定理。该成果由清华姚班出身的研究者参与完成。费马大定理是数学史上最著名的猜想之一，自1637年提出后历经三百余年才由英国数学家安德鲁·怀尔斯于1995年给出完整证明。此次Claude的证明过程展示了其在复杂逻辑推导与长链条数学推理方面的能力提升，标志着大语言模型在高级数学研究中的应用潜力获得新验证。相关技术细节与证明路径尚未完全公开，但该进展已引发AI学界与数学界关注，被视为AI辅助基础科学研究的重要案例。目前，该成果的具体验证流程及对后续AI数学研究的影响仍在评估中。