Эта исследовательская страница опубликована только на английском. Технические страницы переведены, а реестры утверждений — нет: неверно переведённое утверждение становится ложным.

Полка исследований

Сорок шесть папок с незаконченной работой

Это полка, а не каталог продуктов. Часть здесь — исследования с результатами, экспериментами и цифрами. Часть — проектный документ. Часть спекулятивна и сама пишет об этом в своём README. У каждой папки теперь есть полный разбор, составленный по исходным статьям, а не по README папок, где каждое утверждение стоит рядом со свидетельством за ним — включая те, что сообщают об отрицательном результате. Всё опубликовано под GNU Affero General Public License (AGPL-3.0+), рядом с ней коммерческие условия.

46 полных разборов 46 папок всего 14 областей AGPL-3.0+ / коммерческая
Сначала прочитайте это. В нескольких папках язык оборонных документов использован как стилистический приём. Он не означает ни настоящего грифа секретности, ни принятой на вооружение техники, ни каких-либо отношений с государством. Многие системы здесь не построены и не проверены, а умозрительные пункты помечены явно, в собственных файлах README. Ничто на этой полке не проходило независимой проверки.
Обзор

Отфильтровать полку

46 из 46 показано

Генератор шума 100 Вт

Проектный документ
Электроника

Один файл на SystemVerilog, управляющий аналоговым ядром на схеме Чуа, четырёхдиапазонной цепочкой усилителей мощности, ЦАП питания, тепловым АЦП и автоматом жёсткой защиты с реакцией меньше микросекунды.

Полный разбор →

Булевы функции n = 3…8

С результатами
Математика

Перепись пространства булевых функций по размерностям от трёх до восьми переменных, с долей по-настоящему несводимых функций от примерно четверти до практического потолка.

Полный разбор →

ARIA

Эталонная реализация
Криптография

Аутентифицированное шифрование, которое выводит nonce из сообщения и сеансового ключа, а не передаёт его, из-за чего расхождение отправителя и получателя становится структурно невозможным.

Полный разбор →

Ashby Optimiser

С результатами
ИИ и машинное обучение

N изолированных поисковых единиц на радиусах с геометрическим шагом, планируемых по кругу, с гомеостатическими перезапусками при застое — честно сравнено со случайным поиском и (1+1)-ES.

Полный разбор →

ARIA-INTEL

Эталонная реализация
Сопровождение целей и датчики

Трекер на случайных конечных множествах PMBM с моделированием распорядка жизни, восемью детекторами оперативных приёмов и байесовской оценкой угрозы — 2363 строки, только NumPy и SciPy, 28 мс на скан.

Полный разбор →

Battle Sim

Умозрительно
Оборона и безопасность

Короткий обзор современных математических моделей боя — дискретные залпы по Хьюзу, расширенные формулировки Ланчестера, марковские модели боя — с их уравнениями и оговорками.

Полный разбор →

Hemp Harmony

Проектный документ
Химия и продукты

Трёхфазная растительная космецевтика, где каждый класс ингредиентов не просто заявлен, а обоснован рецензируемыми клиническими, in-vitro и этноботаническими данными.

Полный разбор →

CPU

Умозрительно
Архитектура компьютеров

Обсуждение гетерогенной многоядерной архитектуры вместе с наброском на SystemVerilog, который переносит примитивы операционной системы — переключение контекста, диспетчеризацию системных вызовов, обработку страничных отказов — в железо.

Полный разбор →

Работа бара

Эталонная реализация
Химия и продукты

Четыре основы из местных растений, на которых держатся все настойки, сиропы и биттеры в меню, с точным временем, пропорциями партий, точками контроля качества и ритмом смены.

Полный разбор →

Izaac · GRIA · NMP

С результатами
Теория информации

Координация через общий PRF, градуированная обратимость и нейросети, рассматриваемые как измеримые операторы сжатия, — сведённые к одному теоретико-информационному словарю.

Полный разбор →

Алмазные батареи

Умозрительно
Материалы и инженерия

Четыре серии проектов, экстраполирующих алмазный элемент на углероде-14 от Bristol/UKAEA 2024 года до промышленного масштаба, с запасом отработавшего топлива в 400 000 тонн в качестве аргумента по сырью.

Полный разбор →

UCDW

Проектный документ
Материалы и инженерия

Электрохимическая миграция ионов, тепловая диффузия и ультразвуковая помощь, объединённые в среде ионной жидкости, — от 77% до 99% прочности основного металла в пяти режимах работы.

Полный разбор →

Высвобождение из депо

Умозрительно
Химия и продукты

Настоящее практическое руководство по фармацевтике — диапазоны настройки PLGA, гели с фазовой инверсией, кинетика высвобождения по Хигучи, рамка ICH Q8 — в паре с выдуманными соединениями, которые папка на каждой странице помечает баннером как вымысел.

Полный разбор →

EREM · SPX

Проектный документ
Политика и экономика

Две линии: пересчёт национального богатства в физические единицы энергии, чтобы разорвать круговую зависимость от денежных институтов, и пять моделей, сходящихся на окне 2028–2029 годов для разматывания гаммы.

Полный разбор →

Babbage · Antikythera · TDC

С результатами
Софт и языки

Разностная машина Бэббиджа, эпициклическая передача антикитерского механизма и торпедный вычислитель времён Второй мировой — каждый восстановлен как алгоритм с замерами, а не как музейный экспонат.

Полный разбор →

GH-SR-IMM

С результатами
Сопровождение целей и датчики

Многоцелевой трекер с тяжёлыми хвостами, разводящий устойчивость к выбросам и обработку манёвров, со средним улучшением GOSPA на 51,6%.

Полный разбор →

Fungal Network Algorithm

Проектный документ
ИИ и машинное обучение

Биологически вдохновлённая самоорганизующаяся сеть, где рёбра и веса — следствие истории входа, а не носитель хранения; растёт и подрезается по чисто локальным правилам.

Полный разбор →

Future C++

Умозрительно
Софт и языки

Длинный проектный разговор о компилируемом языке с синтаксисом C++ и современными гарантиями — он начинается с довода, что современный C++ и так закрывает большую часть списка желаний, а затем разбирает, что осталось.

Полный разбор →

Алгебра над GF(2)

С результатами
Математика

От полного перебора всех 16 бинарных операций до полиномов-перестановок, оптимизации схем и дифференцируемых логических вентилей — включая теорему единственности для AND.

Полный разбор →

HSA

Умозрительно
Биология и медицина

Трёхфазная программа генетической модификации, написанная как инженерная фантазия, с многоуровневыми оговорками о доказательной базе, сводной таблицей нежелательных явлений и вводным баннером, объявляющим её сугубо теоретической и мироустроительной.

Полный разбор →

LCRP

Проектный документ
Математика

Обзорно-методическая статья, доказывающая, что небольшой набор механизмов — разделяй и властвуй, древовидное представление, теоретико-информационные пределы — объясняет большинство переходов от квадратичной к логарифмически-линейной сложности в семи областях.

Полный разбор →

Протоколы Izaac

Проектный документ
Теория информации

Компактное общее криптографическое состояние σ работает как бесплатный широковещательный канал — и из одного этого наблюдения выводятся двенадцать конкретных протоколов, от византийского консенсуса до согласованной дифференциальной приватности.

Полный разбор →

UHPM

С результатами
ИИ и машинное обучение

Память на локально-чувствительном хешировании и иерархическое предиктивное кодирование, сведённые к одному функционалу свободной энергии, с ускорением задержки запроса в 289× относительно полного внимания при 100K токенов.

Полный разбор →

Математический обзор

Эталонная реализация
Математика

Обзор исследовательского уровня от теории чисел до финансовой математики — основания, важнейшие результаты последнего десятилетия, открытые задачи и связи между областями.

Полный разбор →

Моделирование AES

С результатами
Криптография

Парное исследование, атакующее AES-128 нейросетями с двух сторон, с выводом, что не работает ни одна, — и с точной оценкой, насколько именно каждая не дотягивает.

Полный разбор →

SGF · Algebraic Autopsy

С результатами
ИИ и машинное обучение

Все эффективные приёмы глубокого обучения сведены к одному примитиву — онлайновой достаточной статистике на искривлённом многообразии — плюс апостериорная диагностика, считывающая неявную алгебру обученной сети прямо с её весов.

Полный разбор →

Нейронный декомпилятор

Эталонная реализация
ИИ и машинное обучение

Трансформер «кодировщик — декодировщик» с иерархической памятью и смесью экспертов с балансировкой нагрузки, переформулирующий восстановление исходника из ассемблера как задачу моделирования последовательностей.

Полный разбор →

NQD

Умозрительно
Биология и медицина

Квантовые наноалмазные датчики на расстоянии отдельного нейрона, оптически считываемые CMOS-мотами с ультразвуковым питанием, которые рассеивают сигнал обратно на носимую решётку — без проводов через череп.

Полный разбор →

Гибридные компоненты

Эталонная реализация
Электроника

Мемристоры, джозефсоновские переходы, ГМС и элементы с фазовым переходом, промоделированные в шесть этапов, — с самопроверкой, которая нашла и опубликовала семь багов в собственном фреймворке.

Полный разбор →

NLFGN-UFT

Умозрительно
Физика

Вариационная программа нелокальной гравитации, удерживающая причинную передачу сообщений на скоростях ≤ c, плюс эссе о том, что сверхсветовое разбегание — вопрос интерпретации, а не провал ΛCDM.

Полный разбор →

AusDike™

Проектный документ
Материалы и инженерия

Панель дамбы с открытым дном и самобалластировкой, доведённая от идеи до сметы на оснастку, — 28 расчётов, стенка, поведение которой определяется потерей устойчивости, и один неблагоприятный результат, который программа не спрятала.

Полный разбор →

Метаузор простых чисел

С результатами
Математика

Шесть многослойных персептронов, обученных классифицировать простые числа на пяти порядках величины и разобранных по одним лишь весам, — они заново открывают перебор делителей на решётке 6k±1, а потом проигрывают ему в 30–80 раз.

Полный разбор →

QDMP

Умозрительно
Материалы и инженерия

Сконструированные массивы NV-центров в метаматериальной алмазной решётке, предложенные как структурированный мысленный эксперимент, — с семью названными научными препятствиями, оценёнными по текущей литературе.

Полный разбор →

QGO

Эталонная реализация
Математика

Пять проверяемых слоёв — спектральное сжатие, кодирование Чебышёва, симулированный QAOA, ранжирование со взвешиванием по шуму, обратный спектральный подъём — у каждого есть названная функция проверки и явный член ошибки.

Полный разбор →

Набор генераторов случайных чисел

С результатами
Криптография

DAG на трансцендентных константах, булев ЛКГ, хаос с двумя аттракторами и встречно-вращающаяся турбулентность — четыре генератора с по-настоящему разными режимами отказа, замеренные по отдельности.

Полный разбор →

HX-70 GradePlex

Проектный документ
Материалы и инженерия

Твердосплавная подложка с функциональным градиентом, пятислойное покрытие и цепочка поставок от ковки до станка — целятся в разрыв между тем, где отказывают обычные пластины, и тем, где существуют геометрии из КНБ.

Полный разбор →

USG

С результатами
ИИ и машинное обучение

Показано, что генераторы образуют математическую категорию относительно композиции, со сжатием контекста на хешах, которое пробивает потолок взрыва состояний, ограничивавший методы на n-граммах и HMM тремя-пятью токенами.

Полный разбор →

Статистический планировщик

С результатами
Софт и языки

Справедливость от статистического варианта CFS, качество размещения от контекстного бандита, балансировка нагрузки от ПИД-контура — с формальными гарантиями для каждого и измеренной задержкой размещения меньше миллисекунды.

Полный разбор →

Оценки угроз

Умозрительно
Оборона и безопасность

Гипотетические разведывательные сводки о приёмах подмены личности, неврологическом воздействии и взрывчатой смеси — написаны по открытым источникам в том стиле, в каком такие документы действительно пишут.

Полный разбор →

UCN AIs

Умозрительно
ИИ и машинное обучение

Any Purpose Networks, General Purpose Networks, Signal AI и два примитива обучения — артефакты мироустроительства, написанные в стиле статьи по основаниям математики.

Полный разбор →

UCN

Умозрительно
Политика и экономика

Восемь пронумерованных работ о конституции, экономике, обороне, интеллектуальной собственности, наркополитике и внешних отношениях — у каждого утверждения есть источник, каждое несоответствие действующему праву признано в дорожной карте.

Полный разбор →

Реформа ООН

Умозрительно
Политика и экономика

Постоянные силы обороны ООН под началом выборного комиссара по безопасности, обоснованные статьями Устава и договорным правом, с завершающим разделом о том, почему это, скорее всего, не примут.

Полный разбор →

VDJ

С результатами
ИИ и машинное обучение

V(D)J-рекомбинация, сведённая к пяти модулям для обучения с одного примера и комбинаторной генерации, отпрофилированная до миллисекунды и килобайта для встраиваемого применения.

Полный разбор →

VERITAS

Эталонная реализация
ИИ и машинное обучение

Девять теорем над пространствами двоичных образцов, с гарантиями PAC и ALT, проверяемыми во время работы, а не доказываемыми на бумаге, — и результат о композиции, показывающий, что гарантии складываются.

Полный разбор →

Оборонный портфель

Проектный документ
Оборона и безопасность

Больше тридцати папок по платформам в стиле оборонной инженерии, с необычной дисциплиной: каждая баллистическая, тепловая и жизненно-цикловая цифра порождена одним общим физическим движком и на него же сослана.

Полный разбор →

Полицейское снаряжение

Проектный документ
Оборона и безопасность

Бронежилет втрое легче нынешнего и служебный пистолет с пониженной энергией — оба прогнаны через тот же общий физический движок, что и оборонный портфель, и оба просчитаны как закупочные обоснования.

Полный разбор →
Как читать эту полку

Четыре уровня доказательности, применяемые последовательно

Четыре уровня доказательности, используемые на исследовательской полке: от умозрительного через проектный документ и эталонную реализацию до результатов с числами
прокрутите, чтобы увидеть всю схему →
До пятого уровня не доходит ничего. Уровня «подтверждено» здесь нет, потому что ничто отсюда не было независимо воспроизведено и не проходило внешнего аудита.

У каждого разбора стоит один из них, плюс реестр утверждений, где каждое отдельное число помечено как измеренное, синтетическое, выведенное, спрогнозированное или процитированное.

Умозрительно

Только теория или проект. Собственных измерений нет.

Проектный документ

Подробно специфицировано; реализация частичная или отсутствует.

Эталонная реализация

Код есть и работает. Производительность независимо не проверялась.

С результатами

Эксперименты проведены, и числа приведены здесь.

До пятого уровня не доходит ничего. Уровня “подтверждено” здесь нет, потому что ни один пункт на этой полке не был независимо воспроизведён и не проходил внешнего аудита. Когда такое случится, это будет сказано, с указанием, кто это сделал.