صدّ هجمات الذكاء الاصطناعي على الرياضيات وصدّ أوبن إيه آي عن الرياضيين
الهجوم ليس في أن الآلة تحاول البرهان؛ فليحاول من يشاء. الهجوم في بنية الادعاء: من يدفع ثمن التحقق؟ الرياضيات لا تحتاج حماية من الآلة، بل أن يدفع الادعاء ثمنه قبل أن يُسمع.
مباحثاتُ بروتوكول نوتش Notch في التحقق بلا محقِّق.
الهجوم ليس في أن الآلة تحاول البرهان؛ فليحاول من يشاء. الهجوم في بنية الادعاء: من يدفع ثمن التحقق؟ الرياضيات لا تحتاج حماية من الآلة، بل أن يدفع الادعاء ثمنه قبل أن يُسمع.