ملف lenamphoto الشخصي

PINNED

·

--

صاعد

افترضت أن الجزء الصعب في الذكاء الاصطناعي القابل للتحقق سيكون في توليد الإثباتات كان ذلك ربما المكان الواضح للبحث طلبات أكثر إثباتات أكثر أعباء أكثر بسيط بما فيه الكفاية قضيت بعض الوقت مؤخراً في استكشاف إحدى حزم الاستدلال الجديدة المبنية حول التحقق وكنت أتوقع أن ينتهي معظم انتباهي هناك غريب، لم يحدث ذلك شعرت أن مجموعة تطوير البرمجيات كانت عادية جداً استورد الحزمة مرر مفتاحاً استدعِ النموذج لا شيء فيها كان بارزاً حقاً والذي، عند التفكير فيه، كان ربما علامة جيدة في البداية اعتقدت أن الجزء المثير هو التشفير ثم اعتقدت أن عنق الزجاجة قد يكون في توليد الإثبات لا أظن أن هذا هو ما يستمر في العودة إلى ذهني بعد الآن ما يزعجني هو شيء أقل في السلسلة وبصراحة، لم أتوقع ذلك لأن آلية التصديق لها معنى الرياضيات تبدو جيدة لكن في النهاية تلك الضمانات ترث افتراضات من الأجهزة الآمنة والأجهزة الآمنة ترث افتراضات من الشركات المصنعة لم يبدو لي ذلك مهماً بشكل خاص كل نظام يعتمد على شيء ربما هذا النظام ليس مختلفاً ومع ذلك، فإن أنظمة البرمجيات والأجهزة لا تتحرك فعلياً بنفس السرعة الكود يتم استبداله طوال الوقت سلاسل الإمداد لا تنسق البروتوكولات التحديثات خرائط طريق البرنامج الثابت لها مالكون وإذا انتهى الأمر بما يكفي من التطبيقات تعتمد على هياكل معزولة مشابهة، قد تنتهي تنوع البرمجيات بهدوء على قمة تنوع أقل بكثير في الأسفل ربما لا يهم ذلك أنا حقاً لست متأكداً أعتقد أن ما فاجأني هو أنني كنت أعتقد في الأصل أن الذكاء الاصطناعي القابل للتحقق سيغير بشكل أساسي كيف يتم تأسيس الثقة في الآونة الأخيرة كنت أفكر فيما إذا كان ذلك يغير أيضاً أين تتراكم الاعتمادات ليس أعلى في السلسلة بل أسفل وهو ليس المكان الذي كنت أتوقع العثور عليهم فيه بدأت هذه الفكرة تتكون في ذهني بعد قضاء بعض الوقت حول بعض الأفكار التي كان الناس في @OpenGradient يبنون حولها #opg $OPG $SYN $ZEC

افترضت أن الجزء الصعب في الذكاء الاصطناعي القابل للتحقق سيكون في توليد الإثباتات
كان ذلك ربما المكان الواضح للبحث
طلبات أكثر
إثباتات أكثر
أعباء أكثر
بسيط بما فيه الكفاية
قضيت بعض الوقت مؤخراً في استكشاف إحدى حزم الاستدلال الجديدة المبنية حول التحقق وكنت أتوقع أن ينتهي معظم انتباهي هناك
غريب، لم يحدث ذلك
شعرت أن مجموعة تطوير البرمجيات كانت عادية جداً
استورد الحزمة
مرر مفتاحاً
استدعِ النموذج
لا شيء فيها كان بارزاً حقاً
والذي، عند التفكير فيه، كان ربما علامة جيدة
في البداية اعتقدت أن الجزء المثير هو التشفير
ثم اعتقدت أن عنق الزجاجة قد يكون في توليد الإثبات
لا أظن أن هذا هو ما يستمر في العودة إلى ذهني بعد الآن
ما يزعجني هو شيء أقل في السلسلة
وبصراحة، لم أتوقع ذلك
لأن آلية التصديق لها معنى
الرياضيات تبدو جيدة
لكن في النهاية تلك الضمانات ترث افتراضات من الأجهزة الآمنة
والأجهزة الآمنة ترث افتراضات من الشركات المصنعة
لم يبدو لي ذلك مهماً بشكل خاص
كل نظام يعتمد على شيء
ربما هذا النظام ليس مختلفاً
ومع ذلك، فإن أنظمة البرمجيات والأجهزة لا تتحرك فعلياً بنفس السرعة
الكود يتم استبداله طوال الوقت
سلاسل الإمداد لا
تنسق البروتوكولات التحديثات
خرائط طريق البرنامج الثابت لها مالكون
وإذا انتهى الأمر بما يكفي من التطبيقات تعتمد على هياكل معزولة مشابهة، قد تنتهي تنوع البرمجيات بهدوء على قمة تنوع أقل بكثير في الأسفل
ربما لا يهم ذلك
أنا حقاً لست متأكداً
أعتقد أن ما فاجأني هو أنني كنت أعتقد في الأصل أن الذكاء الاصطناعي القابل للتحقق سيغير بشكل أساسي كيف يتم تأسيس الثقة
في الآونة الأخيرة كنت أفكر فيما إذا كان ذلك يغير أيضاً أين تتراكم الاعتمادات
ليس أعلى في السلسلة
بل أسفل
وهو ليس المكان الذي كنت أتوقع العثور عليهم فيه
بدأت هذه الفكرة تتكون في ذهني بعد قضاء بعض الوقت حول بعض الأفكار التي كان الناس في @OpenGradient يبنون حولها
#opg $OPG $SYN $ZEC

lenamphoto

المواضيع الرائجة