ヤコビアン予想の反例を Claude Fable 5 が生成｜Lean 形式化は CI 通過、査読はなし
Anthropic の Levent Alpöge 氏が Claude Fable 5 で得たヤコビアン予想の反例。Lean 形式化は CI を通過したが、査読論文もプレプリントもない。反例は3変数の多項式写像で、2変数の場合は未解決。何が機械的に検証され何が未確認かを一次情報だけで整理する。
Claude Fable 5
Claude Fable 5 はなぜ3週間止まったのか｜輸出管理指示と再展開を一次情報で整理
Anthropic の最上位モデル Claude Fable 5 は、公開3日後の2026年6月12日に米政府の輸出管理指示で停止され、6月30日の解除を経て7月1日に再展開された。何が確認できていて何が確認できていないのかを、公式発表と公式ドキュメントだけを根拠に整理する。