AI仅用11天完成费马大定理形式化证明，代码量超3万行 在人工智能技术快速发展的背景下，一项具有里程碑意义的数学成就近日诞生：由Anthropic开发的Claude AI模型，在基本自主运行11天后，成功完成了困扰数... 2026年09月09日 人工智能 #breakthrough #mathematical problem
