ヤコビアン予想の反例を Claude Fable 5 が生成|検証はどこまで進んだか
Anthropic の研究者 Levent Alpöge 氏が、Claude Fable 5 を使ってヤコビアン予想の反例を得たと報告した。3変数の多項式写像で、Lean による形式化が Google DeepMind のリポジトリに提出され CI を通過している。一方で査読論文もプレプリントもなく、2変数の場合は未解決のまま。何が機械的に検証され、何がまだ確認されていないのかを一次情報だけで整理する。
Anthropic の研究者 Levent Alpöge 氏が、Claude Fable 5 を使ってヤコビアン予想の反例を得たと報告した。3変数の多項式写像で、Lean による形式化が Google DeepMind のリポジトリに提出され CI を通過している。一方で査読論文もプレプリントもなく、2変数の場合は未解決のまま。何が機械的に検証され、何がまだ確認されていないのかを一次情報だけで整理する。
2026年6月9日に公開された Anthropic の最上位モデル Claude Fable 5 は、わずか3日後の6月12日に米政府の輸出管理指示で全ユーザー向けに停止され、6月30日の解除を経て7月1日に再展開された。何が確認できていて、何が確認できていないのか——Anthropic の公式発表と公式ドキュメントだけを根拠に整理する。
楽天が約7,000億パラメータLLM「Rakuten AI 3.0」をApache 2.0で無償公開。しかし後にDeepSeek V3のファインチューニングモデルであることが発覚し、ライセンス問題・透明性・GENIAC補助金との整合性で論争に。技術と騒動の両面を解説。
DeepSeek・Moonshot AI・MiniMaxが24,000件の偽アカウントで1,600万件超を不正取得。「蒸留攻撃」って何?なぜ違法?何がOKで何がNGか——素人にもわかる解説と、エンジニアが知っておくべき法的リスクを徹底整理。
OpenAIが発表した「ChatGPT Health」は、単なる新機能ではなく、汎用LLMが抱える「ハルシネーション」と「コンテキスト汚染」に対するアーキテクチャレベルの回答だ。FHIR準拠のデータパイプライン、医療ドメイン特化のガードレール設計、そして「推論と診断の分離」を実現するアライメント技術について、専門家視点で徹底分析する。