CRYPTO 📅 2026年9月5日 21:01 SGT 2026年9月5日

AI破解350年数学难题，写出最长证明

来源：Decrypt

Anthropic的AI Claude通过生成1300万行的计算机可验证证明，解决了费马大定理。这一突破展示了AI在复杂推理和形式验证方面的能力，但与RWA代币化无直接关联。