Неабелева математика стала процессором! H17-LAB-03 — 29 911 тестов без ошибок

В этом видео показываю H17-LAB-03 — уже не просто математическую модель, а работающий RTL-процессор, выросший из нашей серии исследований HATTER-SOL. Начинали мы с довольно абстрактного вопроса: можно ли различать состояния неабелевой структуры по небольшому числу коротких «слов» из двух операций \(A\) и \(B\)? В группе \(PSL(2,7)\) оказалось 114 различных структурных состояний — орбит порождающих пар. Для устойчивой идентификации мы нашли систему из 8 проб, которая позволяет восстановить результат даже при потере одной заранее известной координаты. В LAB-03 эта математика уже превращена в обычную цифровую схему. Вместо восьми огромных параллельных вычислителей используется один переиспользуемый классификатор. Процессор последовательно: принимает A и B → вычисляет групповые слова → определяет их классы → собирает 24-битную сигнатуру → стирает одну пробу → восстанавливает её → выдаёт результат. На осциллограмме хорошо видно весь процесс. Для показанного примера: 8D256A → ED256A → 8D256A То есть мы сначала получили исходную структурную сигнатуру, затем искусственно потеряли одну её часть и после этого точно восстановили первоначальное значение. Особенно важно, что это не демонстрация на двух специально подобранных примерах. Полная проверка LAB-03: 29 911 тестовых векторов — 29 911 PASS. Текущая последовательная архитектура завершает одну операцию за 26 RTL-тактов. Но здесь важно не смешивать симуляцию с реальным железом: 26 тактов — это архитектурная задержка RTL-машины, а не уже измеренная скорость конкретной FPGA. Следующий этап — синтез под реальный кристалл, получение LUT/FF/Fmax и уже затем эксперимент на физической плате. Именно этим мне сейчас особенно интересен HATTER-SOL-17: здесь можно буквально увидеть путь математическая теорема → алгоритм → RTL → осциллограмма → будущая FPGA. Проект развивается дальше. Следующая теоретическая ветка — HATTER-SOL-18: Adaptive Word Tomography, где уже не фиксированный набор проб, а сам процессор будет выбирать следующий математический вопрос в зависимости от предыдущего ответа. GitHub: AIDevelopersMonster/Riemann-Hypothesis-Commander-Sol HATTER-SOL-17: https://zenodo.org/records/22838238 #FPGA #Verilog #SystemVerilog #RTL #Математика #ТеорияГрупп #PSL27 #DigitalDesign #Hardware #HATTERSOL #CommanderSol