スナークとiPhoneの違いは何ですか? 携帯電話が登場したとき、現代人にそれが何であるかを説明するのは比較的簡単でした:それは固定電話のようなものですが、有線がなく、小さく、どこにでも持ち運べます。新しいフォームファクター – 古いアイデア: 人間同士のコミュニケーション スナークは新しいアイデアです。コンピューター自体でさえ、比較的新しいアイデアです。世界のほとんどの人にとって証明可能な計算は、現在、なぜ証明するのか、何を証明するのか、誰が証明するのかなど、サイオプです。 「どのように」という質問にも近づいていません。私たちはまだアイデアの実行ではなく、アイデアを根付かせる段階にあり、ひどいことをしています。 したがって、証明可能な計算のアイデアを全体的に根付かせることに投資せずに、証明可能な計算のためのインフラを(広い意味で)ますます構築することは、長期的にはうまくいきません。そして、この投資は非常に大きく、非常に深刻であるべきです。 製薬会社が新しい錠剤を市場に投入するようなものだと考えてください。薬局チェーン、診療所チェーン、公立病院、開業医、最終ユーザー(患者)、オピニオンリーダー、メディアなど、あらゆるレベルで解決する必要があります。 それは自然に起こるものではありません。Uberが明白なタクシーの選択肢になる前は、ショッピングモールに何千人もの人間がUberのアイデアを人々に売り込んでいたでしょう。 最初にアイデアを販売し、次に特定の実装の販売に進むことができます。