%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
【AIニュース】へようこそ！ここは毎日人工知能の世界を探索するためのガイドです。毎日、AI分野の注目情報をお届けし、開発者向けに焦点を当てて、技術トレンドや革新的なAI製品の応用を理解するお手伝いをします。
新鮮なAI製品：クリックして詳細を見る：https://app.aibase.com/zh
1. ツイテックがSeed Prover 1.5をリリース：形式的数学推論における新たな進展
ツイテックのSeedチームが公開したSeed Prover 1.5は、形式的数学推論分野で重要な突破を遂げました。このモデルはAgentic強化学習により、推論能力と効率を大幅に向上させています。IMO2025およびプットン数学コンテストで優れた性能を示し、その実力を証明しています。
【AiBase要約:】
🌱 Seed Prover 1.5は、新しいAgentic Proverアーキテクチャを採用し、自然言語推論と形式的証明の利点を組み合わせています。
💡 モデルはMathlib数学ライブラリやPythonコードを柔軟に呼び出して、複雑な問題解決能力を高めます。
🚀 IMO2025およびプットン数学コンテストで、Seed Prover 1.5は優れたパフォーマンスを示し、銀メダルと金メダルレベルの成績を収めました。
詳細リンク: https://arxiv.org/abs/2512.17260
2. アリババ通義が音声インタラクティブ大モデルFun-Audio-Chat-8Bをオープンソース化！超低遅延、感情を読み取れる
アリババ通義ラボは、新世代のエンドツーエンド音声インタラクティブ大モデル「Fun-Audio-Chat-8B」を正式にオープンソース化しました。このモデルは、超低遅延と自然で流れやすい音声インタラクションを核に据えており、オープンソース音声AIの新たな段階を示しています。リアルタイムでユーザーの音声を理解できるだけでなく、強力な感情認識機能を持ち、GPT-4o AudioやGemini 2.5Proなどの閉鎖型モデルと同等の性能を達成しています。
【AiBase要約:】
🧠 超低遅延と効率的な設計：独自の二段階解像度アーキテクチャを採用し、GPUの計算リソースを約50%節約し、応答速度を大幅に向上させています。
😊 共感的な感情理解：モデルはトーン、語速、間の取り方などの細かい点からユーザーの感情を感知し、思いやりのある返答を提供します。
🛠 強力な音声関数呼び出し：Voice Function Callingをサポートしており、ユーザーは自然な音声コマンドで複雑なタスクを実行できます。
詳細リンク: https://funaudiollm.github.io/funaudiochat/
3. MiniMax M2.1が衝撃的にオープンソース化！100億アクティベーションパラメータを持つコードモデルがSOTAを達成し、多言語プログラミングでGemini3ProやClaude 4.5を上回る
MiniMax M2.1は、多言語プログラミングおよび現実的なエンジニアリングタスクにおいて優れたパフォーマンスを示し、GoogleのGemini3ProやAnthropicのClaude4.5Sonnetなどの閉鎖型モデルを上回りました。これは、オープンソースコードモデルが閉鎖型モデルを圧倒する新たな段階を示しています。
【AiBase要約:】
🧠 多言語プログラミングの最高峰：M2.1はPython、JavaScript、Javaなどの主流言語でオープンソースモデルの最高レベルに到達しています。
⚙️ 実際のエンジニアリングタスクに優れている：SWE-Multilingualでは、M2.1のコード修正精度とエンドツーエンドタスクの完成率がGemini3ProやClaude4.5Sonnetよりも顕著に優れています。
🧩 エージェント協調最適化：M2.1はツール呼び出しやAPI統合など、エージェントの中心的な能力において優れた性能を示しており、信頼性の高いAI開発エージェント構築に強力な基盤を提供しています。
詳細リンク: https://www.minimax.io/news/minimax-m21
4. 知乎2025年AI製品ランキング発表、豆包が首位に
知乎は2025年のAI製品ランキングを発表し、豆包が首位に輝き、DeepSeek、Gemini、通義千問が続き、知乎直答も上位5位に入り、ユーザーがAI製品に与える評価と期待を示しています。
【AiBase要約:】
🧠 豆包は知乎2025年のAI製品ランキングで首位となり、その市場競争力が明らかになりました。
🤖 DeepSeek、Gemini、通義千問が続き、これらの製品の人気と実用性が示されています。
🌐 知乎直答が上位5位に入ったことから、プラットフォームのAIアプリケーションへの信頼と期待が示されています。
5. Anthropicが完全なオープンソースAgent Skills知識ベースをリリース、Claudeモデルのスキル拡張を支援
Anthropicは、Claudeモデルのスキルシステムに実用的な模範スキルとベストプラクティスを提供する完全なオープンソースAgent Skills知識ベースをリリースしました。これにより、開発者はClaudeモデルをより効果的に利用してさまざまな応用を構築することができます。知識ベースには、文書処理、クリエイティブデザイン、開発技術、企業コミュニケーションなど、さまざまな分野にわたる16の公開例が含まれています。開発者はClaude CodeのプラグインマーケットまたはClaude.ai（有料ユーザー）を通じてこれらのスキルを直接使用でき、また提供された規格とテンプレートに従ってカスタムスキルを作成することも可能です。Agent Skillsの機能により、ユーザーはパッカブルで再利用可能なフォルダー形式で一連の指示セットを定義することが可能になります。これらのフォルダーにはMarkdown説明ファイル、スクリプト、その他のリソースが含まれており、モデルが特定のタスクを効率的に実行するためのガイドとなります。この機能は現在、すべての有料ユーザーに対して利用可能です。
【AiBase要約:】
🌟 AnthropicはAgent Skills知識ベースをオープンソース化し、16のモデルスキルを含んでいます。
🛠 開発者は直接使用したり、カスタムスキルを作成したりして、Claudeモデルの応用能力を向上させることができます。
⚙️ Skills機能は必要なタイミングでロードされ、Token消費を削減し、効率を向上させます。
詳細リンク: https://github.com/anthropics/skills
6. Lima v2.0が登場！コンテナツールから安全なAIワークフローの「隠し盾」として進化
Lima v2.0のリリースは、コンテナツールからAIワークフローのセキュリティ保護への重要な転換を示しています。革新的な仮想化隔離技術によって、開発者により効率的かつ安全なAI開発環境を提供しています。
【AiBase要約:】
🛡️ Lima v2.0はAI開発に堅固な「サンドボックス」機構を構築し、AIエージェントがホストの機密ファイルにアクセスしたり、高リスクコマンドを実行したりすることを防ぎます。
⚙️ 新バージョンには実験的なプラグインアーキテクチャとGPUアクセラレーション機能が導入され、パフォーマンスと拡張性が向上しています。
🔒 モデルコンテキストプロトコル(MCP)ツールが統合され、より安全なローカルファイルの読み書き方法を提供します。
7. 昇華星火大モデルが国家安全基準認証を初取得、AIセキュリティがさらに一段と向上！
科大訊飛の昇華星火大モデルは、国家安全基準の試験検証を成功裏に通過し、生成型AIセキュリティ分野での重要な進展を示しています。このモデルは基準の策定にも参加し、包括的なセキュリティ保護プラットフォームを構築し、次世代の非表示水印技術を開発することで、AI生成コンテンツの信頼性と安全性を向上させています。
【AiBase要約:】
🧠 科大訊飛の昇華星火大モデルは国家安全基準の検証を通過し、《人工知能セキュリティ国家基準適合自己評価証書》を取得した最初の団体の一つとなっています。
🛡️ 昇華星火モデルは包括的なセキュリティ保護プラットフォームを構築し、数十種類の技術をカバーし、多言語・多モードのシナリオにおいて「開封即用」の保護を提供しています。
🔐 訊飛は次世代の生成型テキスト非表示水印技術を開発し、AI生成コンテンツに唯一無二のデジタルアイデンティティを識別し、信頼性を向上させています。
8. ChatGPTに「年間レビュー」機能が登場！あなたのAI人格、年間詩、創造的なメダルが登場しましたが、権限を開放する必要があります
OpenAIは「Your Year with ChatGPT」という機能をリリースし、ユーザーごとに個別化された年間レビューを生成し、対話データ、AI人格のメダル、カスタム詩を含んでいます。この機能はプライバシー保護を重視し、一部のユーザーのみに公開されます。
【AiBase要約:】
個別化された年間レビューを生成し、対話データとAI人格のメダルを提供します。
カスタム詩とAI絵画を提供し、独自の「年間精神のショット」を作成します。
プライバシーを最優先に考慮し、特定の地域とユーザーのみに公開され、権限を手動で開く必要があります。