Как проверить вероятностную последовательность моделей прогнозирования

arXiv:2608.11181v2 Annuate Type: заменить перекрестное резюме: когда вероятностный прогнозист отвечает на многие вопросы условной вероятности, являются ли его ответы самосогласованными и можно ли это проверить в полиномическое время? Эта проблема представляет интерес для безопасности АИ, когда безопасность зависит от честности в отношении вероятностных прогнозов нежелательных результатов, которые могут быть вызваны действиями МА. Мы создаем интерактивный ПХФ следующим образом. Пусть прогнозная модель определяется вероятностной окружностью P и цепью Q, которые дают уверенность в предсказаниях. Вместе P и Q имплицитно указывают на экспоненциальное множество вероятностных претензий. Мы показываем протокол, в котором контролер полиномного времени может проверить приблизительное соответствие (P,Q). Проверщик получает пару цепей (P,Q), которые он оценивает лишь в нескольких точках; вместе с ними ему присваивается доказательная оракулка - кодирование распределения вероятностей свидетельства, которое якобы соответствует предсказаниям (P.Q), который он читает в некоторых местах