家
ツール
モデル
アプリ
プロンプト
ニュース
特集
インクルージョンのために提出します
日本語
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
オプション
家 近い
家
ツール
カテゴリ ランキング カバー生成 画像を生成 Skill
モデル
大規模言語モデル マルチモーダルモデル
アプリ
プロンプト
プロンプト 画像プロンプト
ニュース
ニュース 速報
特集
インクルージョンのために提出します
アプリを提出 ツールを提出
アカウントを作成する サインイン
言語を変更します 日本語 言語を変更します
設定
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
家
速報
コンテンツ
EdwardScott
EdwardScott
2026年7月6日

Mistral AIは、119Bパラメータを持つ形式的数学証明モデルであるLeanstral 1.5をリリースしました。このモデルは実際には6Bのみのパラメータを使用して動作し、Apache-2.0ライセンスの下でオープンソースとして公開されています。miniF2Fテストでは100％の正解率を記録し、PutnamBenchの672問中587問を解決することができました。また、競合製品が1問あたり300ドル以上かかるのに対し、このモデルの利用料金は1問あたり4ドルです。さらに、57のリポジトリ内から47件のコード違反を発見し、そのうち5件はGitHubで未報告の問題でした。

Mistral AIは、119Bパラメータを持つ形式的数学証明モデルであるLeanstral 1.5をリリースしました。このモデルは実際には6Bのみのパラメータを使用して動作し、Apache-2.0ライセンスの下でオープンソースとして公開されています。miniF2Fテストでは100％の正解率を記録し、PutnamBenchの672問中587問を解決することができました。また、競合製品が1問あたり300ドル以上かかるのに対し、このモデルの利用料金は1問あたり4ドルです。さらに、57のリポジトリ内から47件のコード違反を発見し、そのうち5件はGitHubで未報告の問題でした。
0
0
共有 リンクをコピーするにはクリック
コメント (0)
0/300
送信
著者 HarperJones HarperJones 2026年10月13日
OpenAIは、GPT-6とインテリジェントUIをChatGPTに統合し、会話の中でインタラクティブなチャートやウィジェットを利用できるようにしました。これにより、大規模モデルは単なる情報提供者からタスク操作の入り口へと役割を変え、従来の固定的なアプリインターフェースに革新をもたらしています。この動きは、個別のアプリが不要になることで、スタンドアロンのAIツールやコンテンツプラットフォームに脅威を与えています。 一方、WeChatやDouyinといったスーパーアプリは、既存のエコシステムや流通チャネルを活用して、エントリポイントをユーザーのシナリオに直接統合することで、競争上の優位性を獲得している。
0
0
著者 DouglasAnderson DouglasAnderson 2026年10月13日
Qwenは、「Qwen Go」がアプリに組み込まれたパーソナルAIエージェントであり、単独でダウンロードできるアプリではないことを明らかにした。ユーザーは、航空券のクレーム処理や価格比較などのタスクへのアクセスを申請できる。この機能は、アリババのエコシステムを活用し、別途アプリを起動することなく、既存のプラットフォーム内で直接多様な個人タスクを処理できるよう、よりスマートでパーソナライズされたアシスタントへと進化することを目指している。
0
0
著者 DouglasThomas DouglasThomas 2026年10月13日
ByteDance Seedは、AIの安全性を高めるため、Yan Lin氏が率いる「モデル整合・準備部門」を設立した。この新部門は、規制、評価、整合トレーニングを通じて、インテリジェントエージェントモデルの安全確保とCBRNリスクの軽減に注力する。 中国で初めて安全専門部門を設立した最先端AI研究所として、Seedはモデルが安全な制約の範囲内で動作することを確保し、誤用や行動の逸脱を低減するとともに、外部研究者とのオープンな連携を促進して大規模な応用を支援することを目指しています。
0
0
著者 KevinRoberts KevinRoberts 2026年10月13日
MiniMaxは、M Planのサブスクリプションを販売する初の旗艦店をタオバオに開設しました。これは、ZhipuやアリババクラウドといったAIベンダーが、トークンの販売を公式サイトからECプラットフォームへと移行させているという、業界全体の大きな変化を反映しています。タオバオは、これらのサービスを統合するために「AIスペースステーション」を立ち上げました。 この戦略は、技術的なAPIの利用を一般消費者にも親しみやすい小売商品へと転換することで、一般消費者をターゲットとし、競争の焦点を技術的なベンチマークから、消費者の利便性や価格設定へとシフトさせるものです。
0
0
著者 JoseJackson JoseJackson 2026年10月13日
Amazonは、70億ドルでDecartを買収する交渉を行っている。2023年に設立されたこの3年目のスタートアップは、NVIDIA GPU、Google TPU、Amazon Trainiumといった異なるハードウェア間でAIモデルをシームレスに実行できるようにするクロスチップ互換性ソフトウェアを提供している。この技術は、コスト削減と最大8倍の性能向上を目指している。Decartは以前、NVIDIAおよびAnthropicとの取引に失敗しており、両社は実証調査の後に交渉テーブルから離脱した。Amazonは、Decartの直近の40億ドルの評価額と比較して大幅なプレミアムを支払っており、AWSエコシステムを強化し、Trainiumチップのトークンあたりのコストを削減するとともに、より広範なクラウドおよび具現化知能戦略を支えることを目的としている。
0
0
OR