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

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

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

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

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

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

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

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

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

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

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

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

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

openaethos.com

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

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

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

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

omega-asi.com

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 迁移评估。
• 仿真与工具链接入 — 开放仿真引擎与工具链的访问与集成支持。
• 控制与安全集成 — 将统一控制与安全护栏接入现有机器人系统。
• 联合解决方案 — 与机器人整机厂、集成商与算法团队共同打造面向场景的方案。

连接严谨的科学发现， 与物理世界中的可靠行动。

海轩科技专注于两件事：让 AI 成为科研中可被检验的合作者，让 AI 在真实世界中的行动可以被度量与约束。两条路线共享同一个认知底座 CFN，也共享同一种标准——结论要能被复核，行为要有清晰的边界。

总部: 北京海轩云智科技有限公司 ()

杭州: 杭州海轩云智科技有限公司 (杭州市高新区（滨江）)

关于海轩科技，你可能想知道的

海轩科技是做什么的？

海轩科技（Haixuan）致力于以可信 AGI 推动全球科学与产业进步，让 AI 技术安全服务于全人类福祉。公司以科学智能（AI for Science）与物理智能（Physical AI）双轨并进，构建可解释、可验证、安全可控的智能基础设施。总部为北京海轩云智科技有限公司，在杭州市高新区（滨江）设有杭州海轩云智科技有限公司。

AETHOS 灵枢是什么？

AETHOS（灵枢）是海轩科技面向具身智能与物理世界的通用操作系统平台，提供高保真可微物理仿真、多模态合成训练数据、云边端感知决策行动、可量化的 Sim2Real 评估，以及多机器人统一控制与安全护栏，支持人形、四足、轮式、机械臂与移动机器人等形态。官网：openaethos.com。

Omega Point 是什么？

Omega Point 是海轩科技面向前沿科学的智能科研平台，融合神经符号推理、因果推断、量子模拟与形式化验证，辅助研究者提出假设、缩小搜索空间，并让关键结论可被机器核验。它是支持科研的工具，不代表已取得任何临床或物理学突破。官网：omega-asi.com。

Cognitive Fusion Network（CFN）是什么？

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

DiffBench 是什么？

DiffBench 是海轩科技发起并开源的刚体仿真精度评测，场景、容差与运行脚本全部公开，任何人都可以复现。海轩既是评测发起方也是参评方，评测不提供排名或综合得分。

如何与海轩科技洽谈合作？

高校、科研院所、企业研发团队以及机器人企业、集成商与算法团队，都可以通过本页的联系表单提交合作需求。我们会在评估后回复；白皮书与平台访问权限不在官网公开分发。

一起把下一个问题，做成可验证的答案。

适合联系的话题：科学智能方向的分子与材料研究、因果推理、形式化验证与联合课题；物理智能方向的定制合成数据集、Sim2Real 迁移评估、仿真与工具链接入、控制与安全集成。