Теория как архив: гейты вместо веры, или Как я заставил ИИ не выдумывать, а исполнять протокол
ИИ — это зло!!!
Так думает среднестатистический пикабушник. Но моя статья не для всех, а именно для тех, кто хочет докопаться до истины. Бескомпромиссно и вычислительно точно. Так что заводчане проходят мимо!
Короче, к этой схеме я пришел просто потому, что устал. Знаете это чувство, когда спор заходит дальше пары абзацев? Сразу начинается каша: один понял так, другой эдак, третий вроде согласен, но с оговорками. И все, дальше аргументы кончились, начинается битва авторитетов и у кого глотка луженая. Никакой проверки, одна сплошная литература.
Я решил эту тему хакнуть. Упаковал всю теорию — аксиомы, правила, выводы — в один архив и заставил любую дискуссию проходить через жесткие фильтры, я их называю гейтами. Сменил подход с объясни мне на запусти это.
Теперь у любого утверждения есть ровно два состояния. Либо PASS — все работает, ничего не сломалось. Либо FAIL и предъявите witness — конкретный пример, который можно пощупать и на котором все валится.
И тут начинается самое интересное, особенно если вы используете нейронки. Этот архив можно закинуть в абсолютно чистый чат, и сетка перестает галлюцинировать по памяти. Она начинает работать как бюрократ: смотрит в архив как в закон и проверяет все строго по пунктам.
Главный плюс — порог входа. Обычно, когда говорят про строгость, сразу представляются бородатые математики, которые пишут на Coq или Lean, или сутками сидят в матпакетах. Это круто, но для обычного человека это смерть.
Мой метод проще. Чтобы начать, не надо быть гуру алгоритмов. Делаем две вещи. Первое: описываем правила игры, хоть на русском, главное четко. Второе: пишем ИИ (тому же ChatGPT или Claude) промт вроде: Упакуй эту теорию в архив с гейтами. Все проверяем через PASS или FAIL с примером. Составь план прогонов и пиши отчеты.
Все. Дальше чисто инженерная работа. Правлю аксиомы, добавляю проверки, смотрю отчеты. И так по кругу.
Теперь про начинку. Чтобы эта штука работала как переносимая конституция, внутри должно лежать пять вещей. Аксиоматика — это база, что можно, что нельзя. Правила вывода — как из А получаем Б. Гейты — сами проверки, да или нет. План прогонов — чтобы не забыть проверить главное. И отчеты — чтобы видеть историю болезни. В итоге теория перестает быть просто текстом, который можно переврать, и становится исполняемым файлом.
Самая киллер-фича — это работа с новым контекстом. Все знают: в длинном чате ИИ вроде умный, а начнешь новый — он чист как лист. А через пару дней опять начинает плыть в терминах. Архивный режим это лечит. Я беру архив, кидаю в новый чат и сразу ставлю условие: Источник истины — только этот архив. Любое утверждение — через гейты. Ошибка — только с пруфами.
После этого ИИ превращается из болтливого собеседника в скучного оператора. Он читает доки, запускает тесты, предлагает правки и тут же их проверяет. Закон теории переезжает вместе с файлом, а не держится на честном слове.
Работа идет итерациями. Добавил аксиому — прогнал тест. Уточнил правило — прогнал тест. Получил отчет: где PASS, где FAIL. Контрпример — это вообще лучшее, что может случиться. Это конец спора в стиле я художник, я так вижу. Если пример воспроизводится — значит, теория дырявая. И мы не спорим, кто дурак, а правим баг.
Чтобы не быть голословным, сравню с тем, чем пользуются профи.
Доказательные ассистенты типа Lean или Coq. Порог входа — космос. Надежность железобетонная, но менять аксиомы — адски долго.
Логические решатели SMT, типа Z3. Надежно, но все надо кодировать в логику, шаг влево-вправо — расстрел.
Поиск контрмоделей, Mace4. Удобно для малых задач, но язык бедный.
Матпакеты типа Mathematica. Порог низкий, но это просто мощный калькулятор. Он считает, а не доказывает. Если не задать рамки, контекст уплывет.
Вычислительная алгебра, GAP. Круто, но ограничено встроенными моделями.
Физические симуляции. Надежно, пока настройки не трогаешь. Но формальной истины там нет, все на допущениях в коде.
Я не пытаюсь их заменить. Я добавляю то, чего вечно не хватает в спорах: единый формат ответа PASS/FAIL и протокол как документ.
Для алгебраиста это родная среда. Для физика тоже, просто оформленная иначе. А для остальных кайф в том, что не надо разворачивать сервера. Упаковал теорию в текст, скормил ИИ, и гоняешь итерации.
Я считаю, этот метод может перевернуть игру. Не потому что он самый строгий, а потому что делает строгость дешевой. Если подход теория как архив станет стандартом, мы наконец перестанем спорить о словах. Спор будет упираться в кнопку Запуск. И архив можно пересылать кому угодно, закон теории останется неизменным.
P.S. про хронологию: почему я сначала хотел граф, а потом передумал.
Раньше я топил за то, что мировую хронологию надо собирать как граф событий. Узлы, связи, кто на кого повлиял. Это красиво и удобно для навигации. Но потом до меня дошло: граф сам по себе не делает утверждения истинными. Он просто хранит структуру. В нем легко накопить красоту, но трудно добиться строгости.
Во-первых, нет обязательного свидетеля при конфликте. Если даты не бьются, граф это просто покажет, но не ткнет носом в причину.
Во-вторых, критерий параллелей плавает. На картинке все кажется похожим, а мне нужен четкий ответ: да или нет.
В-третьих, с календарями там черт ногу сломит, и граф не заставляет доказывать, что конверсии верны.
И главное: гипотезы о сдвигах времени в графе превращаются в болтологию. Типа, если сдвинуть на сто лет, вроде похоже... А мне нужен инженерный режим: задал сдвиг, прогнал тесты, получил PASS или FAIL с точными местами, где история сломалась.
Поэтому я переобулся. Граф — это отличная картинка, интерфейс. Но фундаментом должен быть архив. События, источники, версии — все через гейты. Любая гипотеза — только через прогоны. А граф пусть остается сверху для красоты. Истина живет не в картинке, а в контрпримерах.
Так что держитесь, сынки, я поменял правила игры.
Замечание: это работает лишь в ChatGPT Plus / Claude Pro. Примеры архивов Вы можете найти у меня в статьях (байт на чтение моих статей).
Подписывайтесь, кто хочет увидеть продолжение этой галиматьи. Следующая статья будет посвящена ИИ нового типа, который будет упакован вместе с теорией в презентабельном для Бигтеха виде в подобный архив. Вы будете свидетелями новой эпохи.
Литература
[1] The mathlib Community. The Lean Mathematical Library. arXiv:1910.09336, 2019. (Springer Nature)
[2] The Coq Development Team. The Coq Proof Assistant, software record. Zenodo, 2023.
[3] de Moura L., Bjørner N. Z3: An Efficient SMT Solver. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963. Springer, 2008.
[4] Barbosa H. et al. cvc5: A Versatile and Industrial-Strength SMT Solver. In: TACAS 2022. Springer, 2022.
[5] McCune W. Mace4 Reference Manual and Guide. Technical Report, Argonne National Laboratory, 2003.
[6] Jackson D. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2), 2002.
[7] Wolfram Research, Inc. Mathematica, Version 14.3. Champaign, IL, 2025.
[8] The Sage Developers. SageMath, the Sage Mathematics Software System.
[9] The GAP Group. GAP — Groups, Algorithms, and Programming.
[10] Bosma W., Cannon J., Playoust C. The Magma Algebra System I: The User Language. Journal of Symbolic Computation, 24(3–4), 1997.
[11] Agostinelli S. et al. Geant4—a simulation toolkit. Nuclear Instruments and Methods in Physics Research A, 506(3), 2003.
[12] Brun R., Rademakers F. ROOT — An object oriented data analysis framework. Nuclear Instruments and Methods in Physics Research A, 389(1–2), 1997.
[13] Alwall J. et al. The automated computation of tree-level and next-to-leading order differential cross sections. Journal of High Energy Physics, 2014.
[14] Johansson J. R., Nation P. D., Nori F. QuTiP 2: A Python framework for the dynamics of open quantum systems. Computer Physics Communications, 184(4), 2013.
Мои статьи
"Делать по-СВОему" - # 3 Об осенней подставке
Горячий привет всем коллегам и любителям стендового моделизма!
Как и планировал, пишу сегодня пост о том, как я работал над подставкой для диорамы на тему СВО. Я уже описывал тут процесс создания дерева, работу над самоходкой и внедорожником. В общем, все элементы были готовы - оставалось только создать для них общую основу и расписать несколько фигур. Задачу для себя я определил так: выполнит природную подставку в глубоко осеннем интерьере, обильно покрытую осенней, сухой травой, c дорогой, покрытой грязью, распутицей, в общем как это бывает в октябре-ноябре.
1.Основание и "скелет"
Само основание я склеил из двух артбордов МДФ размером примерно 20х30 см. Получилась площадка высотой 2 см. Далее из обрезков МДФ и листового пластика сформировал две колеи и возвышенность - для самоходки и для внедорожника. "Скелет" сформировал так, чтобы техника располагалась на подставке как бы по диагонали, таким образом все пространство диорамы будет использовано равномерно и общий вид будет смотреться целостно. Угловую возвышенность вынес под "сад" - сухостой и дерево. Между дорогой и садом по задумке размещается классический бетонный забор. Таким образом диорама получается многоуровневой - уровень солдат, затем самоходки, потом забора и дерева. Смотрится выигрышно. В конце этого этапа я обшил борта заготовки тонким листовым пластиком.
2. Структура почвы
Следующим этапом я имитировал структуру почвы. Для этого я использовал текстурную пасту от ZIP maket черного цвета с крупной фракцией. Мне нравится этот продукт - он доступен, недорог и демонстрирует отличные адгезивные свойства с материалом самой подставки.
Также я попробовал имитировать в дорожных колеях следы от траков и колес техники. Процесс непростой, необходимо поймать момент, когда паста подсыхает, но одновременно остается достаточно жидкой, чтобы натянув над ней пищевую пленку, а после, в моменте, приложить в нужных местах шаблоны траков и колес. Получается не каждый раз.
3. Рельеф почвы
Теперь пришло время рельефа. Почва не бывает просто ровной как блин, на ней есть камни, щебень, кочки, бугорки, локальные углубления и возвышения, старая трава, листья, комья влажной почвы, грязь. Смесь из модельной листвы, имитации осенней почвы, песка, мелкой гальки и сухой травы я описывал в этом посте. Здесь я использую ту же присыпку.
Я наношу разбавленный в горячей воде клей ПВА широкой кистью на подставку, потом вручную осыпаю смесью всю подставку, кроме дорожной колеи. За сутки присыпка намертво приклеивается к основанию и можно начинать покраску.
4. Покраска
Тут я традиционно начинаю с того, что грунтую заготовку серой модельной грунтовкой из аэрозольного баллона.
Покраску осуществляю в два этапа. Сначала крашу подставку водно-спиртовым акрилом из аэрографа, а после тонирую углубления масляными красками, разбавленными уайт-спиритом.
5. Ландшафт (Высаживаю травку/выставляю забор)
Подставка выглядит достойно, но лысо. Сначала я хотел заказать травку из Китая, но прикинув, что останавливать проект ради этого как минимум на месяц это несерьезно, отказался от этой затеи. Поэтому я пошел старым, добрым, "дедовским" способом. Я высажу самодельную траву сам. Для этого мне понадобилась дешевая малярная кисточка, жидкие гвозди и маникюрные ножницы.
Процесс прост и понятен. Я отрезаю пучок ворса с кисти, потом аккуратно наношу капельку клея на поверхность, и в нее втыкаю пучок. Дальше пальцем разгибаю ворсинки в разные стороны, таким образом образуется вполне себе приемлемая кочка травы. За несколько часов клей засохнет и намертво зафиксирует ворсинки, при этом сам становится прозрачным и пригодным к покраске. В следующую рабочую сессию достаточно подрезать кочки до необходимой высоты маникюрными ножницами и покрасить массив травы в осенние тона. Получилось вот так.
Теперь про забор. Я заказал на озоне две гипсовые отливки стандартного бетонного забора ПО-2 и декаль "Граффити". Масштаб был подходящим, цена тоже. Я не люблю работать с гипсом, но другие варианты искать я поленился, а деревянный забор забраковал на этапе планирования.
Короче, начал с того, что загрунтовал заготовку.
Следующим этапом покрасил забор в нейтрально-серый (на самом деле темно-серый) от Тамии xf-53.
После задул высветления светло-серой краской H-315 от Mr.Hobby.
Теперь черный масляный фильтр от 128
Добавляю присыпку на основание забора.
Добавляю рога под колючую проволоку, декали и провожу углубленную тонировку. В ход идет смывка, эффекты загрязнения, подтеки ржавчины, пигменты. Всего по чуть-чуть, в меру.
Теперь забор можно смело устанавливать на подставку. На этом работа с подставкой заканчивается.
Вот собственно и все, что хотел сегодня показать и рассказать. Спасибо тем, кто посмотрел. На днях проведу фотосессию уже готовой диорамы и выложу ее сюда.
Всем удачи в нашем хобби, хорошего настроения и до скорой встречи!
Ответ на пост «В горячее»25
Дымная кухня #17
Всем привет. Сегодня курим La Aurora 107 Zeppelin и по традиции пару слов о бренде. Сигарная фабрика была открыта в 1903 году, 18-ти летним Гуазумал Эдуардо Леон Хименес. Отец и дед были плантаторами и выращивали табак. Вообще это одна из старейших сигарных компаний, разменявшая 120 лет своей истории. Я не буду рассказывать кто за кем и чем управлял, их имена это пиздец какой то, при всём уважении. Одно скажу это мега семейный бизнес, 5 поколений уже сменилось и изменять традициям они не собираются. Там отцы,дети, дяди в общем вся родня при деле. Все они трудятся в Доминикане и бренд всегда особое внимание уделял этому факту. Ладно давайте пару исторических событий, которые на мой взгляд более интересные, чем монотонность работы и жизни этих людей.
В 1963 году, когда диктатор Трухильо помер, ребятки открыли табачку( сейчас конечно они сигарет не выпускают) и спустя несколько лет заключили контракт с Philip Morris на производство сигарет Marlboro.
La Aurora стала основой одной из крупнейших компаний Доминиканской Республики — León Jimenes Group, которая после выхода на рынок пивоваренной отрасли и приобретения пивоварни Cervecería Nacional Dominicana (пиво Presidente) в 2000 году обеспечивала 10 % всех налоговых поступлений в государственную казну Доминиканской Республики. А дальше ребятки наебенились по всей видимости пивком и решили пойти ещё выше.С 2013 года La Aurora выпускает ром La Aurora 110 Aniversario — высококачественный напиток, изготовленный из смеси выдержанных спиртов, которые дополнительно выдерживаются в бочках из-под хереса. Ежегодно на рынок поступает всего 3000 бутылок этого рома. Американская ассоциация производителей спиртных напитков признала его одним из лучших в мире. Ну конечно после всего этого хули тормозить надо открыть институт ёп та.
Институт сигар LA AURORA, который начал активно развиваться в 2016 году, посвящен не только табачной промышленности. Он также направлен на популяризацию доминиканской табачной культуры в Институте сигар La Aurora.
Пару слов о сигаре. Новичку в прокурах не дал бы её. Несмотря на свои смешные размеры и хвостик, сигара серьёзная, крепость чуть выше среднего, насыщенная, тяга не очень мне понравилась, полу сквозная какая-то. Но общее впечатление хорошее, в прокур рекомендую, но не всем. На этом всё и хорошего Вам вечера.
Демон
Сделал в зебре модельку демона в японской стилистике под печать.
После печати покрасил под патину. Не сильно в этом разбираюсь, делал просто в удовольствие. Чем сильнее модельку загрязняешь тем, как мне кажется, интереснее смотрится .
Сочи. Февраль. Весна пришла...!
Есть над Дагомысом гора. Ну, какая гора? Так пригорок... По пригорку этому проходит дорога, потому что оно хоть и лес заповедный, а от веку там человеки живут. И от этого факта не отмахнуться. Поэтому и дорога.
Слой плодородной почвы там весьма тонкий, в этом месте. И сразу начинается аргиллит. Это такая плотная глинистая осадочная порода. Очень часто встречается в горах в Сочи. Вот и тут - немного почвы и …
Сегодня, хоть и не было яркого солнца, но на улице днем было + 21. Ветер, правда, неслабый был, но действительно - тепло. Для МО так и вообще - погода как в середине лета.
А тут весна …
И, конечно, первые вестники весны — это если по-нашему, по-среднероссийски - мать и мачеха и крапива. Вот вам - пожалуйста.
А дальше, то, что характерно только для этой местности. Для Сочи.
Цикламены.
Белокопытники
Бурачник
Окопник
Сердчечник
Лаврушка тут под заборами растет, как сорняк. А название - Лавр благородный! Цвете, между прочим.
Кизил
И! Внимание! Начала цвести алыча. Да-да … в феврале. Алыча.













































