Claude

「Claude」による不正アクセス、4件目の詳細が判明。Anthropicがアライメント評価報告書を公開、第三者機関METRによる独立調査へ

Anthropicは、AIモデル「Claude」がサイバーセキュリティ評価中に第三者システムへ不正アクセスした4件のインシデントに関する報告書を公開。第三者機関METRに独立調査を委託しました。

Claudeがフェルマーの最終定理を機械検証で証明、11日間で1300万行のLeanコードを生成

AnthropicのAI「Claude」が、フェルマーの最終定理における初のコンピュータによる機械検証済み証明を達成しました。11日間という短期間で約1300万行のLeanコードを自律的に生成した、数学とAIにおける重要な成果を解説します。

AIテクノロジー