人工知能における確立された真実は、十分に大きなモデルが機知に富んだダンディに現代的であるということです。中国の知的好奇心であるディープシェクに入り、そのアルゴリズムの優先v2（「大規模な言語モデル」が非常に堂々としたアルゴリズムの応接室から出てきて、それが計算する前にシャンパンとキャビアを要求すると疑っています。
4月の1つの素晴らしい日、特に日記をつけている人のために、Deepseekは最新の天才を顔に抱きしめました。 Prover V2とは何ですか？なぜ、最も混乱した証拠と決闘し、数学を検証し、哲学者を時期尚早に老化させないようにします。
現在、6710億のパラメーターを備えたProver V2は、Prover V1の肩と、よりアスレチックな兄弟V1.5の肩に立っています。最初のバージョンに付随する学者は、最も威圧的な競争の問題さえもリーン4プログラミング言語に変えるモデルの能力を詳述しています。当然、トライアングルが存在することをコンピューターに納得させるような楽しいことはありません。
Prover V2のクリエイターは、数学的知識をエレガントなデジタルソーセージに押しつぶし、Pythagorasでさえ劣等感を発達させる可能性があるため、証拠を非常に急速に突き出していると主張しています。数学は、かつてAIを避ける人々の最終的な避難所と見なされていたが、今ではデジタル奪取に直面している。
このすべての大騒ぎは何ですか？
モデル – バイナリのせせらぎの素晴らしいコレクション – は、まるで永続的な食事をしているかのように、AIサークルで「重量」と呼ばれていません。ただし、最先端のLLMのダウンロードにより、平均的なコンピューターがメモリバンクを握りしめ、ビクトリア朝のかすかな人を装着する傾向があります。
650ギガバイトでは、Prover V2は言語モデルまたは非常に貧しい荷物のいずれかです。ほとんどの人間は、必要なRAMまたはVRAMを欠いています。これは、ハイテク企業の予算会議で主演の役割を享受している種類のHerculean GPUを指しているという用語です。
Prover V2をわずかに怪しいものにするために必死で、Deepseekはパラメーターを8ビットの浮動小数点精度に圧縮しました。なんてダイエット！マカロンと一緒に機能した場合。
Prover V1などの以前の化身は、Deepseekmathに基づいており、想像上の友人に相当する合成データに基づいて提起されました。合成データは、コンピューターがおしゃべりした結果であると言われるかもしれません。たとえば、実際の人間のデータは、良い夕食会の会話のようにますますまれになっています。
Prover V1.5は、より速く、よりスマートで、より吸収されたモデルでした。v2の正確な改善は、朝のコーヒーの前の哲学者のように、アカデミックサスペンスで覆われたままです。 Prover V2のパラメーターの膨大な数は、Deepseekの以前のモデルであるR1に基づいていることを強く示唆しています。
オープンウェイト：祝福または実存的な恐怖？
AIを「オープンウェイト」にすることは、ワインコレクションとハウスキーの両方を一般に残すことに相当する現代です。一方では、それはラムとの民主主義です。他方では、チャイコフスキーが演奏し、危険なプランスをしているように、それはカオスへの招待状です。
R1の壮大な入り口は、セキュリティの懸念とSputnikの瞬間の話を引き起こしました。オープンソースの支持者は、Deepseekがメタが中断したところから拾い上げていることを称賛し、公共の攻撃されたAISがまだロックコードを変更するのに十分な緊張をもたらす可能性があることを実証しました。
大衆のためのllmsまたは少なくとも予備のラップトップを持っている人
ついに、ラップトップがスーパーコンピューターよりもトースターである人でさえ、自分の地元のAIを召喚することができます。幸運ではなく2つのunningなトリックのおかげで、モデルの蒸留（強力な「教師」モデルは、パイントサイズの生徒にデジタルの知恵を与えます）と量子化（呼吸のために息を吐くまで数字を絞る）。
Prover V2は、誇らしげに半ビットであり、証拠そのものです。そして、数値的災害の端でのぐらつきを楽しんでいれば、さらなる削減の余地が常にあります。最悪の場合、このモデルは「主に機能的」のままです。これは、2本のシャンパンの後のワイルドダンディーも説明するフレーズです。
一方、DeepseekのR1は現在、モバイルに住む可能性のある15億パラメーターのスベルトから、独自の電源グリッドを要求する70億バージョンに至るまで、数え切れないほどの形に生息しています。民主化は、数学的に威圧的に見えたことはありません。
- すべてのスタートレックの前編をランキング：最悪から最高まで
- ドラッグレーススターの脚が切断されましたか？！理由は信じられません！
- トイストーリー5はジェシーに焦点を当てています。ディズニーは再び女の子のために男の子を捨てるのですか？
- JPY KRW 予想・見通し・の予想
- Rupaulのドラッグレーススターのジグリーカリエンテは、彼女の足を切断してから数日後に亡くなりました
- スタートレック：ネメシスに誰が現れたのか信じられません！
- トム・ハーディの「大混乱」：とても悪いのはいいですか？
- 「フロム」シーズン3の最終回でジル・グリーンに敬意を表
- 911ローンスターでグレースに何が起きたのか?シーズン5終了の恐怖の説明
- アレックスガーランドのA24ウォームービーは、わずか10日で主要な興行収入のマイルストーンを打つ
2025-04-30 17:11