昨年の年間入札で優勝したばかりのiFlytekは、新年最初の主要プロジェクトをすでに開始している。

iFlytek Spark ディープ推論モデル X1。

このモデルは、中国のすべての学年レベルの数学で優れているだけでなく、オリンピックの成績でも多くの有名なモデルを上回り、中国でトップの座をしっかりと維持しています。

公式結果によると、X1はオリンピック競技や大学入試から小学生の冬休みの宿題のサポートまで、あらゆることをこなせる能力があるようです。(Doge)

さらに驚くべきことは、その推論プロセスのすべてのステップが、詳細な思考プロセスを伴って明確に見えることです。これにより、本当に「何がわかるだけでなく、なぜそうなるのかもわかる」ようになります。

X1は、業界初となる国産コンピューティングパワーのみで構築された推論モデルであるだけでなく、少ないコンピューティングパワーでトップクラスの性能を実現した唯一のモデルでもある点も特筆に値します。この成果は、コンピューティングパワーの最適化や学習フレームワークの設計といったコア技術における、国産チームの深い専門知識と革新力を反映しています。

推論能力は、コンピューティング能力の効率を測定するための重要な指標であり、ハードウェア アーキテクチャ、アルゴリズムの最適化、およびシステムの連携に非常に高い要求を課します。

したがって、X1 のリリースは技術的な進歩であるだけでなく、国産コンピューティング クラスターの能力の重要な検証でもあり、高性能コンピューティング分野における国産技術システムの競争力の新たな段階を示すものでもあります。

Web版とSparkアプリが利用可能になりました。「Deep Inference Model X1」エージェントを検索してご利用ください。

Intelligent Hyperparametersが引用した公開入札情報の統計によると、iFlytekは過去1年間で91件の入札を獲得し、公開入札額は8億4,780万8,000元に達し、汎用大型モデルメーカーのトップに君臨し、市場顧客から高い評価を得ています。今回、新たな大型モデルを追加することで、より多くの産業用途への導入をさらに推進していきます。

iFlytek Starfire X1の実機テスト

今回発売されたiFlytek Spark X1は、スタンドアロンの推論モデルではなく、また典型的な汎用アシスタント製品でもありません。

その代わりに、3つのユニークな「初」を実現することで差別化された優位性を生み出しました。

• 完全に国産のコンピューティング プラットフォーム上で実現された初の深層推論モデルは、国産のコンピューティング能力による効率的な推論の大きな進歩を表しています。
• 小中高、大学、AIME、MATH500など複数のテストで1位を獲得し、優れた数学的推論能力を実証しました。
• 彼らはディープラーニングモデルを現実世界のシナリオに適用した最初の企業であり、まさに技術から実用化への飛躍を達成しました。

国産コンピューティングプラットフォームの驚異的なパフォーマンスは、決して偶然ではありません。2年前、iFlytekとファーウェイは共同で「Flying Star-1」を発表しました。数兆パラメータの大規模モデルの日常的なトレーニングをサポートする能力を披露したこのプラットフォームは、業界から大きな注目を集めました。それ以来、このプラットフォームは継続的に新しいモデルやアルゴリズムに適応し、そのインテリジェントコンピューティングクラスターは飛躍的な発展を遂げてきました。

現在、大規模モデルの深い推論機能をサポートできるようになり、複雑なコンピューティング、効率的なデータ処理、高い信頼性、スケーラビリティの点で、国内のコンピューティング パワー プラットフォームが包括的にアップグレードされました。

第二に、iFlytek Spark X1 は標準化されたテストで優れたパフォーマンスを発揮しただけでなく、実際のアプリケーションでも強力な数学的推論能力を発揮しました。

X1モデルは、公式発表以前から既に実際の教育現場で活用されていました。昨年10月24日、iFlytekは中国教育科学院と共同で、高校数学向けの問題連鎖型インテリジェント教師アシスタントをリリースしました。

同時に、全国数百のパイロット地域で、数千人の教育・研究スタッフや教師が参加する数万件もの優れたケーススタディが作成されました。Spark X1システムはすでにこれらのパイロット地域に導入されており、初期段階から真摯なフィードバックを得ています。

合肥第七高校の高校数学教師は、X1の推論プロセスと論理的思考はより明確で厳密であると述べた。

特に、中難度から高難度の一部の問題の説明を素早く理解するのに役立つ「解決プロセスの詳細な提示」機能について言及しました。

さらに、この機能を使用すると、学生が各ステップを理解できるように PPT プレゼンテーションやアニメーションを作成することもできます。

X1はテクノロジーだけでなく、教育現場の実際のニーズも把握していると言えます。

せっかくなので、X1 の推論能力を検証する実践テストを実施してみましょう。

まずは、前世紀のオリンピックの古典的な証明問題から始めましょう。

p と p+2 の両方が 3 より大きい素数である場合、6 は p+1 の因数です。

この質問を見たとき、まず最初に思い浮かぶのは、思い浮かんだ数字をランダムに推測することです。例えば、最小の数字である5は要件を満たします。(Doge)

Spark X1 がどのように解決するかを見てみましょう。

△キャプション：問題解決

49秒間考えた後、消去法を使って結論が正しいと判断しました。

まず、p の形式を決定します。p は 3 で割り切れない奇数でなければなりません。

ここで、p=6k+1とp=6k+5という2つのケースを考えてみましょう。最初のケースは不可能ですが、2番目のケースは明らかに6で割り切れます。

すべての可能性を排除した後、証明は正しいと結論付けることができます。

この証明は確かに少し簡単すぎたようです。

次のような問題解決の質問をいくつか見てみましょう。

4p² + 1 と 6p² + 1 も素数となるようなすべての素数 p を見つけます。

一見すると、倍数や平方数が絡んでいて複雑に思えますが、自分で解いてみましょう。

148秒考えた結果、X1さんは5で正解しました。(o°▽°)o☆【ビンゴ！】

はい、正しく答えたとしても大した問題ではありません。重要なのは、解決手順が正しいかどうかを確認することです。

まず最初に目につくのは、最小の素数2から始めて、それぞれ2、3、5の可能性を調べている点です。その結果、条件を満たすのは5だけです。

4は素数ではないことに注意してください。4はそのまま無視されます。この点は実は非常に見落としやすいです。

次に、 p > 5の可能性を調査し、まずそれが偶数である可能性を排除し、次にそれを一般形式 6k+r に統合し、3 を除外しながら 6k+1 と 6k+5 の可能性を調査しました。結果は、これら 2 つの可能性は直接的な結論につながらない可能性があることを示しました。

しかし、すぐに修正され、同様の方法を使用して他の数字を確認できることに気付きました。

さらに、もっと簡単な方法があります。大きな p が常に小さな素数で割り切れる場合、それは素数ではありません。

まず、例を挙げて自分の主張を説明し、その後、より広い範囲の事例に範囲を広げてみましたが、うまくいきませんでした。そこでアプローチを変更し、pが大きくなる可能性を排除できる、よりシンプルな方法を発見しました。

スムーズかつ論理的な説明だったので、長い間数学に触れていなかった私でも理解できました。

問題解決と証明の問題を見てきましたので、次は大学入試の数学の問題など、もう少し難しい問題に挑戦してみましょう。

これは、昨年度の新カリキュラム基準試験問題 2の幾何学の問題です。今回は図が示されているだけで、複数の質問が含まれていることに注意してください。

最初のサブ質問「角度 A を見つけなさい」を見てみましょう。

まず、三角関数と角度の公式を使用して既知の方程式を書き直し、次に正弦関数の周期的性質と A の範囲を使用して、A が π/6 に等しいことを決定しました。

答えは正解です。思考プロセスも完全に正しいです。

三角形の周長を求める2番目の小問を見てみましょう。この小問では、関連する三角関数の定理が繰り返し用いられ、問題中の方程式を段階的に分解して簡略化し、最終的に結果を積分して答えを導いていることがわかります。

最終的な答えも正解です。

ご覧のとおり、三角関数の応用であれ、幾何学の定理の導出であれ、X1 は強力な数学的推論能力と常識的推論能力を発揮します。

この能力により、複雑なシナリオに対処できるだけでなく、人間の思考に非常に近づき、人間の思考プロセスにおける見落としを補うことさえ可能になります。

iFlytek Spark X1 の発売は、国内コンピューティング プラットフォームの推論機能に大きな進歩をもたらすだけでなく、教育シナリオ向けのまったく新しいインテリジェント ソリューションも提供します。

明確でわかりやすい解答、強力な常識的な推論能力、動的な学習およびエラー修正機能により、数学の試験やコンテストで優秀な成績を達成し、事前に教師の心をつかみました。

小学校・中学校の算数問題に挑戦

次に、X1 は教育分野にさらに進出し、学生と保護者のニーズに直接対応します。

これにより、iFlytekのAI学習機の学習・指導能力が向上することが期待されます。例えば、子供の学習能力と吸収力に基づいた問題解決ロジックを提供できます。吸収力が比較的弱い場合は、問題解決の手順がより洗練され、問題を体系的に理解し、論理的思考力を徐々に養うのに役立ちます。

iFlytek の AI 学習マシンは、学生や保護者から常に高い評価を受けています。

第三者機関のデータによると、2021年から2023年にかけて、ハイエンド学習機の売上高において3年連続で全国1位を獲得しており、ネットプロモータースコア（NPS）も一貫して業界1位を獲得しており、ユーザーや市場から広く評価されていると言えます。

それでは、今すぐ使ってみて、実際に使用したときにどのような体験になるかを見てみましょう。

完全平方の公式をテストする中学校の数学の問題を見てみましょう。

9×2 -6xy+k が完全な平方数である場合、k の値は _____ です。

「私たちは認識する必要があります」「XX から始めましょう」「XX と XX を比較してみましょう」などのフレーズは、説得力と忍耐強さを伝えます。

各ステップが明確なだけでなく、(3x-y)2 の計算プロセスなど、式の展開も一つ一つ提示され、最終的に正解に導きます。

このような単純な幾何学の問題であっても、解決ロジックは段階的に分解されます。

ステップ 1: 放物線の開く方向を決定します。

ステップ 2: 放物線の頂点を見つけます。

ステップ3: y軸との交点を決定する

ステップ4: オプションを分析する

iFlytek Spark X1は、より忍耐強く、プロフェッショナルな「AI先生」のようなものです。その思考プロセスに従うことで、子どもたちもそのプロセスを通して考えることができます。

すばらしい、すばらしい、冬休みがやってきました。

X1 の導入もできるだけ早く議題に上がるべきであり、これにより親が子供を指導することがはるかに容易になるだろう。

驚くべきことに、O1モデルの最初の大規模な応用は、主に子供たちによるものになるかもしれません。（Doge）