Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明
09月05日 0评
AI 攻克费马大定理？数学家放弃 5 年职业生涯，将 100 页证明变代码
2024.04.09 0评
困扰人类 358 年的数学谜题，几代数学家接力破解
2022.11.06 0评
