AIモデル・研究 - Negichou Lab

新しいAIモデル、研究成果、性能比較、技術的な変化を検証・解説するカテゴリ。

オープンソース123ライブラリのテスト用入口239か所で「クラッシュしない」ことをClaudeが証明｜Anthropicの形式検証の仕組みと、証明が成り立つ条件

Anthropicは2026年10月22日、Claudeに証明を書かせ、オープンソースの123ライブラリ・239か所の入口が、64MB未満のどんな入力でもクラッシュしないことを確か ...

Anthropicが2026年10月16日、暗号の楕円曲線P-256などを決めるシード値が、1997〜98年の時刻を種にしたC言語の乱数関数lrand48の出力だったと公表しました ...

Metaが2026年10月15日に中身を公開したAIモデル「Muse Spark Open」を解説。APIなど3通りの使い方、ライセンス料なしで使うための条件、自分の機材で動かすの ...

Googleが2026年10月13日に一般提供を始めたGemini 4 Argonを解説。Google AI Pro・Ultraで使える場所、Geminiアプリで増えたタスク機能、 ...

Googleが2026年9月3日に発表したWeatherNext 3を解説。毎時更新、気温などの5km格子、検索・Maps・Geminiへの展開を整理し、外出計画に使う際の確認点を ...

GPT-6 Astraの提供が始まっています。ChatのGPT-6 Proとの関係、Plus・Proで使える機能、利用枠とAPI料金、資料作成や開発の変更点を整理します。

Claude内部で見つかったJ-spaceは、AIが意識を持つ証拠なのでしょうか。Anthropicの研究を基に、確認された機能、主観的体験との違い、AI安全性への意味を整理します ...

OpenAIが2026年8月1日、未公開モデル「Astra」が解いた数学の未解決問題10件を、機械が検算できるLean証明つきで公開しました。広く報じられた「約2000ドル」が1問 ...

Google DeepMindのGemini Robotics 2を解説。人型ロボットの全身制御、複数台連携、安全性、公開範囲と残る課題を公式データで整理します。

Claude Opus 5の概要と、Opus 4.8・Sonnet 5・Fable 5との性能、価格、Claude Codeでの使い分けを公式情報から整理します。