当合成与逻辑模型遇见自然数据
合成与逻辑世界模型的原始递归协议
SGDL 是一种形式化的外部语言，专为人工智能与自主机器人系统之间的确定性通信而设计，它将从行星尺度到分子尺度的环境架构编码为基于 λ 演算的原始递归函数。
“当合成与逻辑数据遇见自然数据” 合成与逻辑世界模型的原始递归协议 SGDL 是一种形式化的外部语言，专为人工智能与自主机器人系统之间的确定性通信而设计，它将从行星尺度到分子尺度的环境架构编码为基于 λ 演算的原始递归函数。
SLWM · 一种外部语言，覆盖所有尺度
从行星尺度到分子尺度。 SLWM（即世界模型）使用同一种外部语言来描述行星、城市、发动机与分子：它非拟人化，专为机器而生，建立在原始递归函数之上。当神经语汇产生统计近似值时，它陈述的是不变的数学真理。那条“金线”正是这种表达，它在一张永不移动的整数网格上书写每一个尺度。
SLWM 图板呈现三维动态效果：轨道卫星环绕着旋转的线框地球，精确实体构成的城市中无人机在安全气泡内盘旋，发动机的齿轮啮合转动，分子晶格旋转且电子绕核运行。它们并排显示在同一张整数网格上。一条单一的金线从地球延伸至晶格，随后从分子返回地球，在每个尺度上点燃并熄灭一个节点，跨度从一千万米至一纳米再返回。
SGDL + ARIADNE GROUP · 日内瓦 · 蒙特利尔
一个集团，一项知识产权：精确几何学，已获专利，实现标准化。 SGDL Innovation SA 持有 SGDL 语言（空间通用描述语言）、其灰色元曲线以及形态算术的知识产权。这是一种用整数书写空间的方式：立体是一个表达式，点分为内部、边界或外部，计算过程同时生成结果与证明。核心工作包含五项操作，该知识产权便构建于其上。SGDL Innovation SA（位于日内瓦）与 Ariadne Geometry Inc.（位于蒙特利尔）共同持有该项权利。
业务范畴
五项操作。该知识产权构建于其上。 空间信息的建模、仿真、索引、加密与通信。已提交 3 个专利族共 21 项专利，均服务于这五项操作。此书写体系即是专利工厂，资产亦依托于此。
- 建模 立体是一个表达式。点分为内部、边界或外部，均以整数书写。编码家族与形态算术即为此种书写方式。
- 仿真 运行同一表达式。其结果即为计算过程，涵盖从行星尺度到分子尺度的全范围运算。
03 索引化
灰色元曲线为每个单元分配唯一地址。查询沿空间或数据路径进行，遵循其分类体系。
04 加密
信号沿用于寻址空间的同一条曲线进行混淆处理。这属于图像与加密家族。该成果对应一项于 2022 年 10 月 27 日申请、2024 年 4 月 27 日公开的专利：《一种生成图像并利用其加密信息的方法及系统》。访问签名是其中一种应用场景——图像公开显示，而签名保持私密。
05 通信
机器通过外语言相互描述对象与空间约束，且独立于任何单一模型。
产品
SLWM 与 WMCP 应用了建模、仿真、索引化、加密与通信五大操作。它们属于产品形态，而非底层操作本身。计算结果可通过 Lean 形式化证明，并以图像形式呈现。每项结果均附带计算证书。
SLWM
合成逻辑世界模型。它基于上述操作构建精确的世界模型，并验证其陈述的正确性。
WMCP
世界模型上下文协议。语言模型可提出空间相关问题，并获得对应的计算结果。
已持有
共 21 项专利，分为三大族系——编码、n 维索引、图像与加密，其底层建立在五大操作上：建模、仿真、索引化、加密与通信。 知识产权 →
已获认可
自 MPEG-4 AFX（ISO/IEC 14496-16，2003 年；2006 年涵盖合成与逻辑数据）以来，该技术已获得开放 USD 联盟（Alliance for OpenUSD）、开放地理空间联盟（OGC）、Khronos 组织以及 ISO/ASTM 52915 标准的认可。我们的贡献在于接口设计，核心机制仍受专利保护。 标准规范 →
已发表
历经三十年理论积淀——《形式算术》（蒙特利尔大学博士论文，1997 年）、SGDL-Scheme（2000 年）、SGDLscript 手册（2003 年）及外语言宪章——以及 1,962 条内核定理（2026 年），均已通过 Lean 4 进行形式化验证，第三方仅需一条命令即可复现验证过程。 出版物 →
两个交互式案例研究
亲自运行这些操作。两项研究均基于真实数据进行计算。
原文较长（约 5,361 字），完整内容请浏览更多。