本研究页面仅以英文发布。技术页面已翻译,论据清单没有:一条被译错的论据就是一条假论据。

研究书架

四十六个文件夹,装的是 进行中的工作

这是一个书架,不是产品目录。其中有些是带实验和数字、能出结果的研究。有些是设计文档。有些是推测性的,它自己的 README 里也这么说。现在每一个目录都有一份完整的说明,取自原始论文而不是目录里的 README,每一条主张都和它背后的证据并排列出 — 包括那些报告了负面结果的。全部以 GNU Affero 通用公共许可证(AGPL-3.0+)发布,旁边还有商业条款。

46 篇完整说明 共 46 个文件夹 14 个领域 AGPL-3.0+ / 商业
先读这一段。 有几个文件夹里出现了国防文书的语体,那是一种文风上的选择。它不表示真的有密级、真的有列装装备,也不表示和任何政府有关系。这里很多系统还没做出来,或者没有验证过,推测性的条目在自己的 README 文件里都有明确标注。这个书架上的东西,没有一样经过独立核实。
浏览

筛选这个书架

46 / 46 项已显示

100 W 噪声发生器

设计文档
电子

一个 SystemVerilog 文件,监管一个蔡氏电路模拟核心、一条四频段功放链、供电 DAC、热敏 ADC,以及一个亚微秒级的硬保护状态机。

完整说明 →

布尔函数 n = 3…8

有结果
数学

对三到八个变量的布尔函数空间逐维做的一次普查,追踪真正不可约函数所占的比例,从大约四分之一一直到接近天花板。

完整说明 →

ARIA

参考实现
密码学

一种认证加密,nonce 由消息和会话密钥推导出来,而不是传过去,使得收发双方在结构上不可能失步。

完整说明 →

Ashby Optimiser

有结果
AI & 机器学习

N 个相互隔离的搜索单元,半径按几何间距分布,轮转调度,停滞时做稳态重启 — 老老实实地和随机搜索以及 (1+1)-ES 做了基准对比。

完整说明 →

ARIA-INTEL

参考实现
跟踪 & 传感器

一个 PMBM 随机有限集跟踪器,带生活模式建模、八个谍报手法检测器和贝叶斯威胁评分 — 2,363 行,只用 NumPy 和 SciPy,每次扫描 28 ms。

完整说明 →

Battle Sim

推测性
国防 & 安全

一篇关于现代数学作战模型的简短综述 — Hughes 式的离散齐射、扩展的兰彻斯特方程、马尔可夫状态战斗模型 — 附上它们的方程和各自的注意事项。

完整说明 →

Hemp Harmony

设计文档
化学 & 产品

一款三相植物性药妆品,每一类成分都用同行评议的临床、体外和民族植物学证据来支撑,而不是空口声称。

完整说明 →

CPU

推测性
计算机体系结构

一篇异构众核架构的讨论,配上一份 SystemVerilog 草图,把操作系统的原语 — 上下文切换、系统调用分派、缺页处理 — 挪进硬件。

完整说明 →

酒吧运营

参考实现
化学 & 产品

四种本土植物基底,撑起菜单上每一款浸渍液、糖浆和苦精,配有明确的时长、批次配比、质检节点和排班节奏。

完整说明 →

Izaac · GRIA · NMP

有结果
信息论

共享 PRF 的协调、分级可逆性,以及把神经网络当作可测量的压缩算子 — 统一在一套信息论的词汇之下。

完整说明 →

金刚石电池

推测性
材料 & 工程

四个设计系列,把 2024 年布里斯托/UKAEA 的碳-14 金刚石电池外推到公用事业规模,并以 40 万吨乏燃料存量作为原料来源的论据。

完整说明 →

UCDW

设计文档
材料 & 工程

在离子液体基质中把电化学离子迁移、热扩散和超声辅助结合起来,五种工作区间下覆盖母材强度的 77% 到 99%。

完整说明 →

储库式给药

推测性
化学 & 产品

一份货真价实的药剂学操作手册 — PLGA 调控区间、相转化凝胶、Higuchi 释放动力学、ICH Q8 框架 — 搭配的却是虚构的化合物,文件夹在每一页都用横幅标明那是虚构的。

完整说明 →

EREM · SPX

设计文档
政策 & 经济

两条线:把国民财富改用物理能量单位来表述,以打破对货币机构的循环依赖;以及五个模型共同指向 2028–2029 这个 gamma 平仓的时间窗。

完整说明 →

Babbage · Antikythera · TDC

有结果
软件 & 语言

巴贝奇的差分机、安提基特拉机械的行星齿轮系,以及二战时期的鱼雷数据计算机 — 每一个都被重建成一个可做基准测试的算法,而不是一件博物馆展品。

完整说明 →

GH-SR-IMM

有结果
跟踪 & 传感器

一个重尾多目标跟踪器,把离群值稳健性和机动处理解耦,报告 GOSPA 平均改善 51.6%。

完整说明 →

Fungal Network Algorithm

设计文档
AI & 机器学习

一个受生物启发的自组织网络,其中的边和权重是输入历史的结果,而不是存储介质,完全按局部规则生长和修剪。

完整说明 →

Future C++

推测性
软件 & 语言

一场关于某种编译型语言的长篇设计讨论,这种语言有 C++ 的语法和现代的保证 — 它开篇先论证现代 C++ 已经覆盖了愿望清单的大部分,然后再把剩下的部分理清楚。

完整说明 →

GF(2) 代数

有结果
数学

从对全部 16 种二元运算的穷举枚举,一直到置换多项式、电路优化和可微逻辑门 — 其中包括一个关于 AND 的唯一性定理。

完整说明 →

HSA

推测性
生物 & 医学

一个三阶段的基因改造方案,以工程推演的方式写成,带有分级的证据免责声明、一张累计不良事件表,以及开头一条横幅,声明它纯属理论与世界观构建。

完整说明 →

LCRP

设计文档
数学

一篇兼有综述和框架的论文,论证少数几种机制 — 分治、树表示、信息论下界 — 就能解释七个领域里大多数从平方级降到对数线性级的改进。

完整说明 →

Izaac 协议

设计文档
信息论

一个紧凑的共享密码状态 σ 充当免费的广播信道 — 从拜占庭共识到协同差分隐私,十二个具体协议都是从这一个观察里推导出来的。

完整说明 →

UHPM

有结果
AI & 机器学习

局部敏感哈希记忆和分层预测编码统一在同一个自由能泛函之下,报告在 100K token 处相对完整注意力实现 289× 的查询延迟加速。

完整说明 →

数学综述

参考实现
数学

一篇研究级的综述,从数论一直讲到金融数学 — 基础理论、过去十年的标志性成果、未解问题,以及它们之间的跨领域联系。

完整说明 →

给 AES 建模

有结果
密码学

一项成对的研究,用神经网络从两个方向攻击 AES-128,结论是两个方向都不行 — 并且量化了各自到底差多远。

完整说明 →

SGF · Algebraic Autopsy

有结果
AI & 机器学习

把所有高效深度学习技术归约到一个原语 — 弯曲流形上的一个在线充分统计量 — 外加一个事后诊断工具,从权重里读出一个训练好的网络隐含的代数结构。

完整说明 →

Neural Decompiler

参考实现
AI & 机器学习

一个带分层记忆和负载均衡专家混合的编码器–解码器 Transformer,把从汇编到源码的还原重新表述成一个序列建模问题。

完整说明 →

NQD

推测性
生物 & 医学

量子纳米金刚石传感器贴近到单个神经元的距离,由超声供电的 CMOS 微尘以光学方式读出,再反向散射到一个可穿戴阵列 — 不用任何穿过颅骨的导线。

完整说明 →

混合器件

参考实现
电子

忆阻器、约瑟夫森结、GMR 和相变元件,在六个阶段里做了仿真 — 还有一次自查,在自己的框架里找出并公布了七个 bug。

完整说明 →

NLFGN-UFT

推测性
物理

一个变分形式的非局域引力方案,把因果信息传递保持在 ≤ c 的速度上,外加一篇文章,论证超光速退行是一个解释上的分歧,不是 ΛCDM 的失败。

完整说明 →

AusDike™

设计文档
材料 & 工程

一种开底自压载堤板,从概念一直做到模具报价 — 28 次仿真、一面由屈曲主导的墙体,以及一个这个方案没有掩埋掉的不利发现。

完整说明 →

素数元模式

有结果
数学

六个 MLP 被训练来在跨五个数量级的范围内分类素数,仅从权重进行解读 — 它们重新发现了 6k±1 格点上的试除法,然后又以 30–80× 的差距输给了它。

完整说明 →

QDMP

推测性
材料 & 工程

在超材料金刚石晶格中构造的 NV 色心阵列,作为一个有结构的思想实验提出 — 并对照当前文献评估了七个点名列出的科学障碍。

完整说明 →

QGO

参考实现
数学

五个可审计的层 — 谱压缩、切比雪夫编码、模拟 QAOA、按噪声加权的排序、谱回升 — 每一层都有一个具名的验证函数和一个明确写出的误差项。

完整说明 →

随机数生成器合集

有结果
密码学

超越常数 DAG、布尔 LCG、双吸引子混沌和反向旋转湍流 — 四个失效模式确实不同的生成器,分别做了基准测试。

完整说明 →

HX-70 GradePlex

设计文档
材料 & 工程

一种功能梯度硬质合金基体、一套五层涂层,以及一条从锻造到机加工的供应链 — 瞄准的是常规刀片失效的那一段和 CBN 几何形状所覆盖的那一段之间的空白。

完整说明 →

USG

有结果
AI & 机器学习

证明这些生成器在复合运算下构成一个数学范畴,并用基于哈希的上下文压缩,打破了那个把 n-gram 和 HMM 方法卡在三到五个 token 的状态爆炸上限。

完整说明 →

统计式调度器

有结果
软件 & 语言

公平性来自一个统计式的 CFS 变体,放置质量来自一个上下文老虎机,负载均衡来自一个 PID 回路 — 每一项都有形式化的保证,实测放置延迟在亚毫秒级。

完整说明 →

威胁评估

推测性
国防 & 安全

关于身份替换谍报手法、神经干扰和一种爆炸混合物的假想情报简报 — 完全基于公开来源写成,用的是这类文件实际使用的语体。

完整说明 →

UCN 的那些 AI

推测性
AI & 机器学习

Any Purpose Networks、General Purpose Networks、Signal AI 和两个学习原语 — 用数学基础论文的语体写成的世界观构建产物。

完整说明 →

UCN

推测性
政策 & 经济

八篇编了号的文章,涵盖宪法、经济、国防、知识产权、毒品政策和外交关系 — 每一条说法都注明出处,每一处与现行法律的冲突都在路线图里明确承认。

完整说明 →

联合国改革

推测性
政策 & 经济

一支由民选安全事务专员领导的联合国常备防卫部队,论证依据是《联合国宪章》条款和条约法,结尾一节讲它大概为什么不会被采纳。

完整说明 →

VDJ

有结果
AI & 机器学习

把 V(D)J 重组抽象成五个模块,用于单样本学习和组合式生成,为嵌入式部署做了精确到毫秒和千字节的性能剖析。

完整说明 →

VERITAS

参考实现
AI & 机器学习

关于二值模式空间的九条定理,其中 PAC 和 ALT 保证是在运行时检查的,而不是离线论证的 — 还有一个复合性结果,表明这些保证是可以相加的。

完整说明 →

国防项目合集

设计文档
国防 & 安全

三十多个平台文件夹,用的是国防工程的语体,并且有一条不多见的纪律:每一个弹道、热学和全寿命周期数字都由同一个共享的物理引擎生成,并注明出自那里。

完整说明 →

警用装备

设计文档
国防 & 安全

一套质量只有现役产品三分之一的防弹衣,和一把降低能量的制式手枪,两者都跑过与国防项目合集同一个共享物理引擎,也都按采购案做了成本核算。

完整说明 →
怎么读这个书架

四个证据等级,一以贯之地使用

整个研究书架使用的四个证据等级,从推测性,经设计文档和参考实现,到有结果
滑动查看完整示意图 →
没有任何东西达到第五级。 没有在用的“已验证”档,因为这里没有任何东西被独立复现或外部审计过。

每一篇说明都带着其中一个等级,还有一份主张台账,把每一个数字分别标注为实测、合成、推导、预测或引用。

推测性

只有理论或设计。没有内部实测。

设计文档

有详细规格;实现部分完成或完全没有。

参考实现

代码存在,也能跑。性能没有经过独立核查。

有结果

做过实验,数字就报在这里。

没有任何东西达到第五级。 没有在用的“已验证”档,因为这个书架上没有任何一项被独立复现或外部审计过。等哪一项有了,它会写出来,并点名是谁做的。