五百年的向外求索
测绘半球、测算行星轨道、拍摄星系深空。外部探索曾是人类的宏大叙事。而下一个边疆不在遥远的深空,而在对眼前事物本质的极致精准度量。
01 — 起源
Rancagua, Región de O'Higgins. Semantic Geometry 既非诞生于风投赞助的实验室,亦非孵化于科技巨头。它始于创始人 Marco Retamales Guzmán 在数十载独立自学研发中所坚守的一个直觉:思想、情感或物理定律完全能够在空间中被精确度量与定位。
人类语言的意义并非字母字典中静止的文字定义,而是连续多维坐标空间中的数学点位。正如地球拥有经度、纬度和海拔以定位地表万物,人类思维同样应当具备其笛卡尔坐标系:知识维度的语义GPS。
数年之后研读经典文献时,这一直觉被证实与传统心理测量学殊途同归:路易斯·瑟斯通的态度测量论与查尔斯·奥斯古德的语义差异量表。这并非凭空捏造的孤立构想,而是一次跨越时空回归其科学源流的技术汇流。
由此奠定了公司的技术核心立场。面对往往答对却无法解释因果、分不清真实记忆与逻辑编造、且高度依赖庞大算力集群的大语言模型,Semantic Geometry 构筑在完全相反的基石之上:模型负责提出假设,而拓扑图谱与超立方体负责确证真伪。
在这段探索中,还存在着一个优美而无比真诚的技术悖论:该引擎旨在规范并锚定大语言模型,但若无大语言模型,它也绝无可能问世。数十年来,语义几何只是笔记本与本地测试中的孤寂构想。仅凭一人手工在 C++23 中梳理数百万概念及严密测试需要穷尽一生。生成式人工智能成为了认知催化剂:加速探索并让架构落地的坚固脚手架。大模型是点燃炉火的烈焰,锻造出赋予它们理性与严谨的刚性之锚。
语义超立方体 [-1,1]³ 理论容量
Hardware / IEEE 754个理论唯一可表征离散点
单轴容量 2046·2⁵² + 1 9.214.364.837.600.034.817
1符号位 · 11指数位 · 52尾数位 — IEEE 754 双精度浮点
基于 IEEE 754 标准规范推导:1022个满足 |x| < 1 的有效指数,加上包含零尾数严格等于 ±1 的端点,涵盖正负区间。
当前生产环境实际载荷
semantic.db v8.0图谱核心概念实体
本体语义关系 4,75M (活跃类型化图谱边)
884k 规范同义词
基于 semantic.db 生产实测数据(2,064,828 概念 / 4,747,027 关系边 / 884,322 同义词)。零合成虚构数据。
现代主流模型尚未涉足这一几何空间——事实上它们也无须重头探索:通道早已敞开。AI负责提出假设,几何负责验证逻辑,而立方体则是以极低能耗契约化执行该闭环的坚固疆土。
若将每个概念视为占用立方体内的一个离散坐标点(正如原子占据物理空间),则该立方体所能容纳的概念规模,相当于约 600 万个地球内部所有原子的总和。
向内拓展的征程
五百年来人类始终在向外探索:横渡大洋、勘探大陆、发射太空望远镜。Semantic Geometry 则提出了向内探索的全新维度:一个不靠物理距离、而凭极致精度开辟的空间。在15瓦常规硅基芯片上,提供 7.82 × 10⁵⁶ 个高精度可寻址点位。
测绘半球、测算行星轨道、拍摄星系深空。外部探索曾是人类的宏大叙事。而下一个边疆不在遥远的深空,而在对眼前事物本质的极致精准度量。
冯·诺依曼架构留下了线性总线:内存犹如一条狭长马路,万物排队通过。SG 则反其道而行之:相似者空间相邻。知识不再需要全局盲搜,而是定向精准捕获。在 SQLite 中建立空间索引,在硅基硬件中实现物理局部性。
当前业界将大模型权重粗暴压缩到 1-bit(BitNet),却依然廉价地编造事实。盲目压缩语言并不等于赋予其真实归宿。SG 赋予了真理确凿的居所:超立方体内的坐标 (x, y, z)。真理不取决于词藻的华丽,而取决于其坐标的自洽。
O'HIGGINS · CHILE
“智利奥伊金斯百年来持续为全球采炼铜矿。向内拓展则开启了另一场深刻开采:在广袤无垠的语义空间中,让AI学会精准发现,而非凭空捏造。”
在 [-1, 1] 区间内,双精度浮点分布并非绝对匀称:靠近 0 处的点位密度比靠近 ±1 处约高出 2048 倍。有效分辨率在空间各区呈现平滑梯度。
现实中的辨识精度不受纯数值计算瓶颈限制,而是取决于概念间实际的语义间距(通常分布于 0.01 至 0.5 之间)。扩容裕度高达数十个数量级。
庞大的空间容量并非终极目标。核心成就乃在于容器本身绝不设限:图谱可实现数个数量级的横向扩展,而完全无需对底层架构作任何重构。
当面临认知未知时的两种应对范式
生成式大语言模型
永远给出回答。若缺乏现实依据,便顺理成章地捏造貌似合理的答案:流畅度与真实性出自同一套概率采样机制,导致外界从表面上根本无法甄别真伪。
确定性事实验证器
拥有保持沉默的权利。几何空间引导推演方向,唯有图谱确凿证据方可核准定论。若查无实证,系统如实拒答:拒绝是一项明确的真确结果,而非系统崩溃。
两者本质差异不在于谁猜中的次数更多。而在于前者可能在毫无自知的情况下大放厥词,而后者在缺乏铁证时绝不盲目妄断。
02 — 垂直领域落地方案
在确定性基底验证核心之上,我们构筑了深耕严格监管行业的专业方案:在这些领域,一次语言模型的幻觉就意味着真金白银的巨亏、法律诉讼或巨额行政罚单。
智慧车队与工业遥测
基于 C++23 的高实时电子围栏、遥测与车队调度引擎
全头文件架构 C++23 引擎,集成 REST 与 TCP 追踪服务、多租户完全隔离及硬件遥测。专为边缘端 100% 离线自主运行设计。
企业财会与法定税务 · 智利
严格确定性法定薪资核算、RLI企业收益与税务资产负债表
无启发式黑盒的智利法定严密财税核算:Previred社保清算申报、ProPyme收益核算及财务/税收账目双轨调整。每笔计算严密对应税法条款。
本系统为实验性本体验证工具。不构成具有法定约束力的正式税务或会计意见。
信贷授信与银行风控 · 智利
全流程可追溯穿透式摊销测算的信贷决策模拟引擎
面向信贷与分期偿还测算的全流程可审计引擎:每一笔本息摊销决策均经底层严格算力支撑,随时承受监管合规穿透式审查。
劳动法理与司法合规 · 智利
基于法定图谱的劳动法规本体基底验证
将确定性事实检验引擎引入严谨法律体系:各项劳动人事争议与事实判定均依据实体法规图谱比对核验,溯源至法典条文本身。
本系统属于实验性本体验证研究。不构成具备法律效力的专业律师司法意见。
没有任何一个垂直业务在文本华丽度上与大语言模型竞争;我们的竞争维度正处于大语言模型完全无法承诺的领域:提供一个知所进退、懂得在无证据时保持缄默的确定性系统,并能直接给出其依托的法律规范。在网络中断、常规硬件、边缘现场等大模型无法企及之地,我们的引擎皆能自如运转。
03 — 核心技术支柱
我们不售卖同质化的人力工时。每一个支柱都针对特定维度的工业挑战,秉持同一套工程信条:显式结构、可量化实测性能,以及能够历经时间检验的可靠产出。
打造确保数据完整且准时送达的数字大动脉。具备极强容错能力的 ETL 流水线、深度查询调优及专为严苛生产流量打造的坚固微服务体系。
融合潜在几何空间的数学优雅与本体知识图谱的坚固逻辑。生成式 AI 负责生成假设;神经符号引擎负责以数学严格性进行确证与落地。
专为容不得任何模糊估算的工程难题设计。涵盖组合优化、地理空间拓扑与金融风险建模,广泛应用于工业调度及受规管决策支持。
05 — 技术路线与检索范式
目前业界普遍试图通过 RAG(向量相似度检索)来压制模型幻觉。我们深入拆解为何相似度并不等于真实性,以及空间几何如何赋予 RAG 所缺失的决定性确信。
| 核心维度 | SG 几何基底验证 | 传统 RAG(向量数据库 + LLM) |
|---|---|---|
| 检索实现机制 | 在 [-1, 1]³ 空间中进行连续数学几何投射,并在形式化本体图谱中执行可传递路径搜索。 | 基于 Embedding 向量空间余弦相似度的表面文本近似比对,并将片段拼接入上下文 Prompt。 |
| 本体真理保证 | 完全确定性:若图谱中无坚实因果路径支撑,直接宣告 NO_EVIDENCE 保持沉默。 | 完全无法保证。大模型极易曲解、忽略甚至全盘篡改 RAG 检索器原本搜出的参考资料。 |
| 单次查询成本 | 校验消耗 0 Token。全部形式化校验逻辑均直接在本地 C++23 内存中飞速完成。 | 高昂。每次调用均需向大模型塞入数千 Token 充当上下文背景,成本随调用量线性激增。 |
| 端到端延迟 | 亚毫秒级(桌面端中位数 p50 仅需 0.37ms / 极低功耗边缘端 1.37ms,原生编译指令)。 | 以秒计量(经历向量检索、网络往返及自回归解码生成通常需 2,000ms 至 6,000ms)。 |
| 硬件与能耗需求 | 本地常规低功耗芯片仅需 15W 电能。支持 100% 离线脱网服役,免除 GPU 与公有云绑定。 | 必须部署企业级向量数据库集群、高功率 GPU 推理卡,且需维持高可靠外网链路。 |
| 矛盾冲突判定 | 拓扑几何不相容性检测:直接识别业务规则冲突并以形式化代数逻辑予以否决。 | 将相互矛盾的文本段落糅合成语言极尽流畅却完全错误的论述(即“温和幻觉”)。 |
| 合规可穿透审计 | 铁证如山:能够指出每一个判决所依凭的精确知识节点、边权重及权威法律法典出处。 | 大致模糊:仅能列出翻阅了哪些参考文档,但完全无法推演出其是如何得出最终结论的。 |
Semantic Geometry 赢得了什么:
具备权威司法效力的审计校验、微秒级响应延迟(<0.2ms vs GPU上的数秒等待)、零 Token 验证开销,以及天然杜绝逻辑自相矛盾的能力。前提需要预先形式化梳理业务核心法则。
传统 RAG 方案赢得了什么:
无需前置本体建模即可无脑吞吐海量杂乱无章的非结构化数据(PDF、会议纪要、备忘录)。代价则是失去了对输出真实性的把控,无法进行严格审计。
Semantic Geometry 与 RAG 绝非水火不容:SG 是让 RAG 真正能够安全通过生产环境安全验收的终极把关者。
文本相似度绝非事实真理性。 RAG 负责捞取相似的语言片段;Semantic Geometry 负责论证该断言在真实物理世界中是否成立。
06 — 生产级实况实验室
体验运行在真实生产节点上、基于多样化垂直领域与交互协议的在线引擎实例。
汽车工业垂直方案
高精度 VIN 车架号解析、车辆国规准入校验及车型实时智能消歧。
智慧零售与室内定位
超市货架极速导航:以 O(1) 复杂度实现商品、通道与品类的几何空间映射。
Model Context Protocol 标准接口
自主智能体(AI Agents)与大模型直连超立方体、校验事实断言的开放协议。
所有在线服务均依托一台仅耗电 15W 的普通小主机提供,无 GPU 加持,脱离公有云依赖。
工程成熟度
Semantic Geometry 并非万事俱备。但它的底层设计确保了在尚未完工前绝不说谎。
一个覆盖有限却擅自编造盲区答案的系统,远比一个相同覆盖度却知所进退保持沉默的系统更加危险。在严谨的工业运作和高度合规的业务决策中,这种严谨正是产品价值本身。
04 — 团队身位与业务联络
向我们讲述您正在规划的技术架构、遭遇瓶颈的数据管道,或是面临合规审计的业务痛点。我们以硬核工程诊断相待,不奉送花哨宣传手册。
本表单将直接唤起您本地的邮件客户端并自动填好内容草稿。不会向任何中间第三方服务器泄露数据。