AnthropicがClaudeを用いたフェルマーの最終定理の形式化に取り組み、AI支援による定理証明の実用化を推進

LINE連携の秘書Mで会話記憶とデジタルツイン機能を実装し、単なるAIアシスタントから「ユーザーの価値観・状態を学習し先回りするAI参謀」へ進化させた。Supabaseに会話履歴とユーザープロフィール（JSON）を保存し、Claudeへ毎回文脈として渡すことで、前後の関係を理解した提案が可能に。

AWS の AI コーディングアシスタント Kiro と Claude を用いて、AI が設計したロボットアームを NVIDIA Isaac Sim / Isaac Lab で学習させた実験結果を報告。4,096 個のロボットを GPU 上で並列シミュレーションし、PPO アルゴリズムで吸引カップによるキューブ掴み上げを訓練した結果、キューブ持ち上げ成功率 91.5%、目標位置保持率 77.9% を達成。

Claude・GPT・Gemini・Grok・DeepSeek など主要 LLM について、2026年9月時点の料金・コンテキストウィンドウ・性能を横並びで整理。各社の個別ベンチマークはハネス・測定日・推論強度の設定がモデルごとに異なるため、第三者機関 Artificial Analysis による同一条件計測の「Intelligence Index」を軸に比較表を提供。

Claude の ~/.claude/projects/ に記録されるエージェントログは既定で30日間の保持期間で自動削除されるが、history.jsonl に記録されるユーザーの入力履歴は312日分残存していた。同じ30日間に本体が19回更新されており、バージョン間での挙動比較や長期運用データの分析には意図的なログ退避が必要になる。