1 記事
Claudeは数学の未解決問題を解いたのか。リーマン予想に関連する下限値の改善と、フェルマーの最終定理の形式化を区別し、Anthropic公式発表から成果の範囲を整理します。研究版と一般向けサービスの違い、証明の確認手順、学習に使う質問例まで紹介します。