海轩科技 · Haixuan

Haixuan · Frontier AI Research · 北京 / 杭州 / 香港 / 全球

从可验证的发现，到可信赖的行动。

海轩科技致力于以可信 AGI 推动全球科学与产业进步，让 AI 技术安全服务于全人类福祉。我们以科学智能与物理智能双轨并进，为研究者、机器人企业与产业伙伴，构建可解释、可验证、安全可控的智能基础设施。

以可信 AGI 推动全球科学产业进步，让 AI 技术安全服务于全人类福祉。

这是海轩的使命。我们相信，真正有价值的智能必须同时经得起两种检验：在实验室里经得起推理与证明的检验，在物理世界里经得起接触、摩擦与安全边界的检验。

科学智能 — 用神经符号推理、因果推断、量子模拟与形式化验证，辅助研究者提出假设、缩小搜索空间，并让关键结论可以被机器核验。
物理 / 具身智能 — 以高保真可微物理仿真与多模态合成数据为基础，打通从仿真训练到真实机器人执行的链路，并让迁移差距可被度量。

Cognitive Fusion Network (CFN) · 认知融合网络

CFN 是海轩自主研发的底层架构，尝试把神经网络的感知与泛化能力，与符号系统的推理、约束和可核验性融合在同一框架之中。它是科学智能与物理智能两条路线共享的认知底座。

坚持自主研发，构建自主知识产权的核心技术体系。我们的目标是让系统更可解释、可验证、安全可控——这是持续推进的工程方向，而非对"绝对安全"或"消除幻觉"的承诺。

可解释 — 推理过程能够被追溯与审视，而不只是给出一个结果。
可验证 — 关键结论可通过符号推理、形式化证明或物理仿真加以核对。
安全可控 — 在系统层面设置约束与护栏，让行为边界清晰、可审查。

AETHOS · 具身智能与物理世界的通用操作系统平台

从仿真到真实，从单台设备到多机协同。AETHOS 为具身智能提供一套共享的物理、数据、控制与评估底座，适用于多种机器人形态。

高保真可微物理仿真 — 面向接触、摩擦与刚体动力学的高保真仿真，并支持可微计算，使控制与参数优化能够直接利用梯度信息。
多模态合成训练数据 — 批量生成视觉、触觉、力与关节状态对齐的合成数据，为具身模型训练提供可配置、可追溯的数据来源。
云边协同的感知、决策与执行 — 在云端训练与推理、边缘侧实时执行之间建立统一链路，覆盖感知、决策到动作下发的完整回路。
可量化的 Sim2Real 迁移评估 — 把"仿真里能用"变成可度量的问题：用明确指标评估策略从仿真迁移到真实机器人时的差距。
多机器人统一控制与安全护栏 — 以统一接口管理不同形态的机器人，并在执行层设置安全约束与护栏，让动作边界清晰可查。
企业级平台与开放接口 — 面向团队协作与系统集成的平台能力，通过开放接口接入既有工具链与业务系统。

适用机器人形态: 人形机器人 · 四足机器人 · 轮式机器人 · 机械臂 · 移动机器人

AETHOS 是互补的基础设施，而非机器人整机厂的竞争者：我们为整机与算法团队提供底座，而不是替代他们。

Omega Point · 面向前沿科研的智能研究平台

融合神经符号推理、因果推断、量子模拟与形式化验证，为研究者提供假设生成、机理分析与结论核验的辅助能力。它是研究的支持工具，而不是研究结论本身。

神经符号推理 · 因果推断 · 量子模拟 · 形式化验证

药物发现 — 分子筛选与作用机制推理的研究辅助。仅限科研探索，不构成临床疗效或治疗承诺。
超导材料 — 材料候选空间的搜索与机理分析。这是研究支持工作，并不意味着已实现室温超导。
聚变优化 — 面向等离子体约束与装置参数的仿真优化研究，不涉及聚变能源商业化的结论。
固态电池 — 电解质与界面材料的计算筛选，辅助研究者缩小实验范围。
基础数学 — 结合计算与形式化证明，把计算观察转化为机器可核验的结论。

DiffBench · 精度，应当可以被任何人复现。

DiffBench 是海轩开源的刚体仿真精度基准。场景、容差与运行脚本全部公开——我们更希望大家关注的是方法的开放性，而不是某一个分数。

海轩既是基准的组织者，也是参赛方。
其他引擎使用未调优的默认配置，结果未经各引擎维护者审阅。
不做排名，也不计算综合得分。
不涵盖 GPU 吞吐、梯度质量与复杂机器人模型。
Nexus 为闭源引擎，以托管 API 形式提供。

研究动态

海轩DiffBench正式开源 — 开放、可复现的刚体仿真精度基准，代码与场景公开。
从计算观察到机器可核验定理：R(5,5)形式化研究 — 围绕已知 656 个着色的不可扩展性进行 Lean 4 形式化验证。公司自述研究；并未解决 R(5,5)，也未给出新的界。
以科学智能和物理智能，构筑AI未来产业新引擎 — 阐述科学智能与物理智能双轨并进的整体思路。
从AGI到ASI：DeepMind未来AI路线图与海轩科技的中国实践 — 对前沿AI路线图的观察与海轩的实践思考。

两条路线，同一种合作方式：可复核、可度量、可落地。

面向高校、科研机构、企业研发团队，以及机器人整机厂、集成商与算法团队，我们提供科学智能与物理智能两类互补的合作。以下均为合作方向，不代表已取得的医疗或物理学突破。

科学智能 · Omega Point

分子筛选与机制研究 — 以计算方法协助候选分子筛选与作用机制分析，作为实验前的假设收敛工具。
材料与能源假设探索 — 为材料、电池与能源方向生成并排序可检验的研究假设，缩小实验搜索空间。
神经-符号因果推理 — 结合神经网络与符号推理，梳理变量之间的因果关系，让推理过程可追溯。
形式化验证与可复现证据 — 将关键结论转化为机器可核验的形式，并整理可复现的计算证据链。
联合研究与平台接入 — 共同设立研究课题，或将 Omega Point 平台接入你现有的科研流程。

物理智能 · AETHOS 灵枢

定制合成数据集 — 按任务、形态与传感器配置定制多模态合成训练数据。
迁移评估 — 对既有策略进行可量化的 Sim2Real 迁移评估。
仿真与工具链接入 — 开放仿真引擎与工具链的访问与集成支持。
控制与安全集成 — 将统一控制与安全护栏接入现有机器人系统。
联合解决方案 — 与机器人整机厂、集成商与算法团队共同打造面向场景的方案。