Эта исследовательская страница опубликована только на английском. Технические страницы переведены, а реестры утверждений — нет: неверно переведённое утверждение становится ложным.
Сорок шесть папок с незаконченной работой
Это полка, а не каталог продуктов. Часть здесь — исследования с результатами, экспериментами и цифрами. Часть — проектный документ. Часть спекулятивна и сама пишет об этом в своём README. У каждой папки теперь есть полный разбор, составленный по исходным статьям, а не по README папок, где каждое утверждение стоит рядом со свидетельством за ним — включая те, что сообщают об отрицательном результате. Всё опубликовано под GNU Affero General Public License (AGPL-3.0+), рядом с ней коммерческие условия.
Отфильтровать полку
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, проверяемыми во время работы, а не доказываемыми на бумаге, — и результат о композиции, показывающий, что гарантии складываются.
Полный разбор →Оборонный портфель
Проектный документБольше тридцати папок по платформам в стиле оборонной инженерии, с необычной дисциплиной: каждая баллистическая, тепловая и жизненно-цикловая цифра порождена одним общим физическим движком и на него же сослана.
Полный разбор →Полицейское снаряжение
Проектный документБронежилет втрое легче нынешнего и служебный пистолет с пониженной энергией — оба прогнаны через тот же общий физический движок, что и оборонный портфель, и оба просчитаны как закупочные обоснования.
Полный разбор →Четыре уровня доказательности, применяемые последовательно
У каждого разбора стоит один из них, плюс реестр утверждений, где каждое отдельное число помечено как измеренное, синтетическое, выведенное, спрогнозированное или процитированное.
Только теория или проект. Собственных измерений нет.
Подробно специфицировано; реализация частичная или отсутствует.
Код есть и работает. Производительность независимо не проверялась.
Эксперименты проведены, и числа приведены здесь.