Anthropic ЖИ моделінің жауабын дәлелдейтін жүйе көрсетті

Anthropic осы аптада FlashProve атты ашық прототипті жариялады. Жүйе жауапты нақты қай ЖИ моделі жазғанын дәлелдейді. Математикалық дәлел зертхананың өзі модельді ауыстырмақ болса да жұмыс істейді. Алайда жүйені Anthropic-те де, басқа компанияларда да әзірге енгізу жоспарда жоқ.

Мәселе мықты модельдерге ақша төлейтіннің бәріне қатысты. Компания үнемдеу үшін арзан нұсқаны жасырын қоя алады, ал сынақ нәтижесін көтеру үшін қымбатырағын қосуы мүмкін. Зерттеушілер жауаптың сапасына қарап баға беру сенімсіз екенін жазады. Сондықтан «кодты озық модель тексерді» деген сөзді қазір растау қиын.

FlashProve идеясы бойынша зертхана әр модельдің «саусақ ізін» жариялайды. Модель салмақтары одан ашылмайды. Әр жауапқа криптографиялық дәлел беріледі, оны кәдімгі процессормен тексеруге болады.

Жүйе 400 млрд параметрі бар ашық Llama 4 Maverick моделінде сыналды. Бір H100 видеокартасында прототип секундына шамамен 110 токен шығарды. Көлемі 18,78 МБ бір дәлелді тексеру 24 ағында шамамен 17 секундқа созылды. Anthropic дерегінше, бұрынғы VerInf жүйесі дәл осы модельді секундына шамамен 0,02 токен жылдамдықпен дәлелдеген.

Бағасы әзірге жоғары. Прототип GPU уақытын қарапайым іске қосудан 70–95 есе көп жұмсайды, ал контекст 1024 токеннен аспайды. Дәлел кездейсоқ таңдаусыз жеңілдетілген генерацияға ғана жарайды, модель архитектурасы да жасырылмайды.

Жобада Anthropic-пен бірге EPFL мен MIT зерттеушілері жұмыс істеді. Код GitHub-қа Apache 2.0 лицензиясымен салынды. «Біз мұны басқалар не істегенімізді көріп, алып, жақсартсын деген мақсатпен бөлісіп отырмыз», делінген жарияланымда. Жаңалық Anthropic IPO-ға дайындалып жатқан кезде шықты, компания оның мәліметтерін құжаттарында ашқан.

Дереккөздер: Anthropic — дәлелденетін инференс пен FlashProve туралы, TechCrunch — модельдердің түпнұсқалығын тексеру жүйесі туралы