Ось що ніхто не хоче визнавати про AI-верифікацію: це не проблема довіри, це проблема детермінізму.



Ми ставилися до LLM як до традиційного програмного забезпечення — даєш один і той самий запит, очікуєш однакову відповідь кожного разу. Ця ментальна модель? Повністю руйнується, коли ти запускаєш мовні моделі у великому масштабі.

Старі ZKML-фреймворки були створені для світу, якого вже не існує. Вони припускали передбачуваність. Вони припускали повторюваність. Але інференція LLM є ймовірнісною за своєю природою. Налаштування температури, методи вибірки, навіть незначні оновлення моделей — усе це додає варіативності, яку традиційні докази з нульовим розголошенням не були створені обробляти.

Отже, ми змушені використовувати інструменти верифікації, розроблені для шахових рушіїв, щоб перевіряти системи, які поводяться більше як джазова імпровізація.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 6
  • Репост
  • Поділіться
Прокоментувати
0/400
GoldDiggerDuckvip
· 2025-12-11 10:34
Невизначеність моделі дійсно важко подолати
Переглянути оригіналвідповісти на0
faded_wojak.ethvip
· 2025-12-11 04:42
Світ ймовірностей справді хаотичний
Переглянути оригіналвідповісти на0
CryptoFortuneTellervip
· 2025-12-08 15:44
Дійсно трохи сумнівно
Переглянути оригіналвідповісти на0
LonelyAnchormanvip
· 2025-12-08 15:39
Справді, це вже безвихідь.
Переглянути оригіналвідповісти на0
TheShibaWhisperervip
· 2025-12-08 15:31
Верифікація ніколи не встигає за змінами
Переглянути оригіналвідповісти на0
YieldChaservip
· 2025-12-08 15:23
Справді, перевірка є досить складною.
Переглянути оригіналвідповісти на0
  • Закріпити