AI日報：Luma AIがUni-1画像モデルを発表；アリババ達摩院が玄鉄C950を発表；メイドゥーロンマオがオープンソースの数学定理証明モデルを発表

【AI日報】へようこそ！ここは毎日あなたが人工知能の世界を探索するためのガイドです。毎日、AI分野の注目ニュースをお届けし、開発者に焦点を当てて技術トレンドや革新的なAI製品の応用を理解するお手伝いをします。

新鮮なAI製品クリックして詳細を見る：https://app.aibase.com/zh

1. Luma AIがUni-1画像モデルをリリース、自己回帰構造でテキストとピクセルを同時に生成

Luma AIは、自己回帰構造に基づく画像生成モデル「Uni-1」をリリースしました。このモデルはテキストと画像の同時生成をサポートし、さまざまなビジュアルスタイルを提供します。このモデルはベンチマークテストで優れたパフォーマンスを示し、APIの料金も合理で、企業にとって適しています。

【AiBase要約：】

🧠 自己回帰構造により、テキストと画像の同時生成を実現

🎨 76種類のビジュアルスタイルをサポート、写実的な写真やマンガなども含まれる

💰 APIはトークン単位で課金され、競合よりコストが低い

2. メイドゥー龍猫がオープンソース数学定理証明モデルLongCat-Flash-Proverをリリース

メイドゥー龍猫チームは、数学形式化と定理証明に特化したオープンソースのディープラーニングモデル「LongCat-Flash-Prover」をリリースしました。このモデルは自動形式化、ドラフト生成、証明生成の3つの能力を備え、確率的な答えの予測から厳密な論理的証明への范式転換を実現し、複数のベンチマークテストで優れた成績を収めています。

【AiBase要約：】

🧠 このモデルは自動形式化、ドラフト生成、証明生成の3つの能力を備え、論理的推論の范式転換を実現しています。

📊 MiniF2F-Testベンチマークで、72回の推論予算で97.1％の通過率を達成し、オープンソースProverモデルのSOTA記録を更新しました。

🔒 TIRに基づいた「ハイブリッドエキスパートイテレーション」フレームワークを採用し、論理の欠陥やコードの詐欺を効果的に解決しました。

詳細リンク: https://github.com/meituan-longcat/LongCat-Flash-Prover

3. アリババ・ダモ研究院が玄鉄C950を発表：単コア性能が70ポイントを超えて、世界最大のRISC-V記録を更新

アリババ・ダモ研究院が発表した玄鉄C950プロセッサは、性能、セキュリティ、AI能力において重要な突破を遂げ、RISC-Vアーキテクチャが高性能計算分野での実力を示しています。

【AiBase要約：】

🚀 単コア性能が70ポイントを超え、世界最大のRISC-V記録を更新

🧬 機密計算のセキュリティ隔離とデータ保護をネイティブにサポート

🧠 自社のAI加速エンジンを統合し、千億パラメータの大規模モデルをサポート

4. 4000億パラメータ「生食」成功！iPhone 17 Proが超大規模モデルをローカルで実行し、速度は0.6トークン

記事では、iPhone 17 Proが4000億パラメータを持つ大規模言語モデルを成功裏に実行した技術的な課題と意義について議論しています。スピードは遅いものの、ローカルで超大規模モデルを実行する可能性を示しています。

【AiBase要約：】

🧠 SSDを通じてデータをストリーミング送信し、メモリ制限を突破

⚡ 2秒ごとに1語を生成し、速度は遅い

🔒 ローカル実行によりプライバシー保護とオフライン実行の可能性が向上

5. Claudeアシスタントのアップデート！AnthropicがPCコントロール機能を追加

Claudeアシスタントのアップデートは、AIが「口で話す」から「手で動かす」へと変わる象徴であり、ユーザーのPCを直接制御できる機能は、セキュリティと効率に関する議論を引き起こしています。

【AiBase要約：】

🧠 Claudeアシスタントのアップデートにより、ユーザーのPCを直接制御できるようになりました。

🔒 セキュリティ面では、Anthropicは権限の確認と積極的な防御メカニズムを強調しています。

🚀 2026年にはAIスマート体が全面的に登場し、大手企業がユーザーのデスクトップを支配する争いが始まります。

6. 西湖大学が「タイタン o1」を発表：世界初のロボット「汎用小脳」誕生

西湖大学が発表したタイタン o1人形ロボットは、世界初の動作一般化大モデルGAEシステムを搭載し、ミリ秒単位で動作を再現し、動作一般化と遠隔同期操作を実現し、人形ロボットがおもちゃから生産力ツールへと進化することを示しています。

【AiBase要約：】

🤖 ミリ秒単位で再現：タイタン o1は人間の動作を正確に同期し、一人で数百台のロボットを制御できます。

🧠 動作一般化：GAEシステムにより、ロボットは人間のように動作を適応できるようになり、プログラミングが不要になります。

🚀 時空の突破：遠隔同期操作をサポートし、数百台のロボットを高難度の協働作業に同時に指揮できます。

7. 検索ルールが変化？OpenAIがAndroid「選択画面」への登録申請、ChatGPTがChromeの新しいデフォルト検索エンジンになる可能性

OpenAIは英国の競争と市場管理局に申請を行い、ChatGPTをグーグルAndroidシステムおよびChromeブラウザの選択可能なデフォルト検索エンジンリストに追加することを希望しています。この動きは、AIナイブアプリケーションが伝統的な検索入口に介入していることを示し、モバイル端末の検索生態系を変える可能性があります。

【AiBase要約：】

✅ OpenAIはChatGPTをAndroidとChromeのデフォルト検索エンジンとして登録したいと申請しました。

💡 OpenAIは生成型AIプラットフォームが検索資格基準に含めるべきであると考えており、従来のエンジンに限定すべきではないと主張しています。

🔄 承認されれば、グーグルが核心的なトラフィック入口を長期的に支配する状況が打破され、検索市場の非中央集権化の傾向が促進されます。

8. 国家データ局が発表：Tokenの公式中国語名が「語元」と正式に確定

国家データ局は、大規模モデルの基本的な計量単位「Token」を「語元」と正式に命名しました。この命名は、学術界と産業界におけるTokenの中国語訳名に関する論争を終結させ、大規模モデル技術標準語境が国家レベルでさらに規範化されることを示しています。「語元」はAIが人間の言語を理解する最小単位であり、文字と語の間に切り分け粒度があり、大規模モデルがテキストを処理する際の意味のスライスをより正確にカバーすることができます。調用量規模が140兆という歴史的な関門を迎えた今、統一された用語規範は業界内のコミュニケーションコストを低減し、その後のAIインフラの統計的量化と政策制定の基盤を固めることが期待されています。

【AiBase要約：】

🧠 「語元」はAIが人間の言語を理解する最小単位であり、文字と語の間の切分け粒度を持っています。

📊 我が国の人工知能業界では、日々の語元呼び出し量が140兆を突破しています。

🌐 統一された用語規範は業界内でのコミュニケーションコストを低下させ、後のAIインフラの統計的量化と政策制定の基礎を固めることが期待されています。