Обеспечение независимого оспаривания претензий АИ: Издательский орган и протокол к поддающимся фальсификации публикациям

Компьютерная наука > Искусственное Разведка [представлена 15 сентября 2026 года] Название: Создание независимых проблем в связи с претензиями АИ: Издательский орган и протокол для фальсификируемых издательств, просмотр PDF HTML (экспериментальный) резюме. Доказательства, свидетельства и транспарентность раскрывают историю, но сами по себе не указывают на то, что в настоящем документе рассматривается переход к публикации. Мы развиваем Издательский орган как точный, не подлежащий передаче потенциал одноразового издания и установим его в PAC-2026 (Publication-Daccountability Calculus), кандидате на машиночитаемый протокол АМИМ. Мы оцениваем четвертый семантический заморозок (SF-4) - спецификацию фиксированной громкости, предназначенную для сменных цепей. Шесть обязательств регулируют вопросы, касающиеся доказательств, прогонов и артефактов, разглашения информации об измерениях, выдачи разрешений, переписки на поверхности и непрерывности жизненного цикла. Каждый из них дает свидетеля, имеющего цель, локальный контрпример или локализованную непроверенность; никто не может компенсировать другого. Лишь свежая, полная информация о пропуске получает разрешение на использование одного этапа перехода к атомной публикации. Мы используем векторы личности, состязательные случаи, конечных моделей и исторические реализации. В десяти моделях было изучено 110 764 безопасных состояния; 76 небезопасных конфигураций привели к ожидаемому нарушению или контрмодели наблюдателя. Поверхность…