AI TrackerAI ニュースを、
開発者向けに整理。
各 AI プロバイダーのリリース、価格改定、提供終了を要約。アプリのニュースタブと同じフィードです。
Axiom、AIエージェントがLeanで有限単純群の分類を形式化したと発表
AI数学企業のAxiomはXで、有限単純群の分類をLeanで完全に自動形式化したと発表した。同社はこの成果を「対称性の周期表」と呼んでいる。元の証明は、世代をまたいで100人を超える数学者が執筆した約15,000ページに及ぶもので、コンピューターで検証された数学の証明として史上最大だとしている。
Ling、Ling-3.1-flash-1019とベースモデルのオープンウェイトを公開
Lingチームによると、Ling-3.1-flash-1019がオープンソース化され、Hugging FaceとModelScopeでウェイトが公開された。また、さらなるトレーニングに向けたオープンな基盤とするLing-3.1-flash-baseもリリースした。チームは、新モデルに推論と実環境のエージェントワークフロー向けの追加のポストトレーニングを施したとしている。OpenRouterのカタログで、Meta: Llama 3.1 70B Instructの提供終了日が11月3日と記載
OpenRouterのモデルカタログに、「Meta: Llama 3.1 70B Instruct」（meta-llama/llama-3.1-70b-instruct）の提供終了日として2026年11月3日が表示されるようになりました。同モデルは2024年7月23日から掲載されており、コンテキスト長は131,072トークンです。以前は提供終了日の記載はありませんでした。これはカタログ上の項目であり、確認できた範囲ではOpenRouterもMetaも理由を明らかにしていません。また、その日以降にモデルがどうなるかも記載されていません。OpenCode、OpenCode Desktop向けプラグインを追加
LukeParkerDevは10月27日、XでOpenCode Desktop向けプラグインを発表し、短いデモ動画とGUIプラグインの構築方法を解説するOpenCodeドキュメントへのリンクを投稿した。この投稿を引用したthdxrは、デスクトッププラグインはOpenCodeのTUIプラグインと同じ仕組みを拡張したもので、1つのパッケージでサーバー、TUI、デスクトップの各プラグインを提供できると説明し、右側のパネルは便利な機能を追加するのに適した場所だと述べた。この投稿はOpenCodeのアカウントからも再投稿された。
インドの言語に対応した音声モデルMaya-2、オープンウェイトで公開
インド向けの音声（音声合成）モデルMaya-2が、10月27日にHugging Face上でmaya-research/maya2-nativeという名称でオープンウェイト公開された。Xでの発表によると、28州と8つの連邦直轄領に暮らす15億人以上を対象としている。