約Ring-1T

Ring-1Tは、Bailingチームによって公開されたオープンソースの兆パラメータ思考Modelです。Ling 2.0アーキテクチャとLing-1T-base基盤Modelに基づいて構築されており、50億のアクティブ化パラメータを持つ1兆のトータルパラメータを備え、最大131K tokensのコンテキストウィンドウをサポートします。Modelの深い推論と自然言語Inference能力は、大規模な検証可能な報酬強化学習(RLVR)を通じて、自己開発したアイスポップ強化学習安定化手法と効率的なASystem RLフレームワークと組み合わせて、著しく向上されています。Ring-1Tは、数学競技会(例:IMO 2025)、コード生成(例:ICPC World Finals 2025)、論理推論など、挑戦的な推論ベンチマークでオープンソースのパフォーマンスをリードしています。

Ring-1Tの兆パラメータ理由付けがさまざまなドメインで複雑な課題をどのように解決するかを発見します。

高度な数学 & 証明

複雑な数学的挑戦で優れた結果を出し、理論物理学、工学、または競争数学で証明を生成および検証します。

ユースケース例:

"IMO 2025からの難しい数論問題を解決し、銀メダルに相当する厳密なステップバイステップの証明を提供しました。"

エリートコード & デバッグ

アルゴリズムコーディングに習熟し、微妙な論理エラーを特定し、さまざまなプログラミング言語とシステムアーキテクチャを通じてパフォーマンスを最適化します。

ユースケース例:

"高性能なRustウェブサーバーの重大な並行性バグをデバッグし、正確な競合状態を特定して原子操作の修正を提案しました。"

戦略的因果分析

膨大なデータセットに対して多段階の定量的および定性的分析を行い、ビジネスや政策における戦略的提言を導き出します。

ユースケース例:

"グローバルサプライチェーンデータと地政学的イベントを分析し、今後の混乱を予測して製造会社に事前のリスク軽減戦略を提案しました。"

形式的システム検証

法的枠組みから工学の計画に至る複雑なシステムを監査し、論理的依存関係を通じて推論し、一貫性を特定し、コンプライアンスを確認します。

ユースケース例:

"Solidityで記述された新しいブロックチェーンのコンセンサスメカニズムのセキュリティ特性を正式に検証し、展開前に再入可能性の脆弱性を発見しました。"

長いコンテキストの知識統合

広範なドキュメント(最大131K tokens)から膨大な情報を統合し、包括的なレポート、文献レビュー、または法的要約を生成します。

ユースケース例:

"希少疾患に関する数千の医学研究論文を統合し、製薬の研究開発チーム向けに簡潔で証拠に基づいたレビューを数時間で作成しました。"

メタデータ

作成する

ライセンス

MIT LICENSE

プロバイダー

inclusionAI

ハギングフェイス

仕様

州

Deprecated

建築

Ling 2.0 MoE

キャリブレートされた

はい

専門家の混合

はい

合計パラメータ

1000B

アクティブ化されたパラメータ

50B

推論

いいえ

Precision

FP8

コンテキスト長

131K

Max Tokens

AI開発を 加速する準備はできていますか?

AI開発を 加速する準備はできていますか?

AI開発を 加速する準備はできていますか?