计算先于论断
每项结果都来自一次有记录的运行,包含输入、参数、代码版本和执行模式。占位内容绝不会被当作研究发现展示。
前沿人工智能、量子与技术研究
ALQERIS 是 NEO AI 生态系统的研究环境。规划研究,运行真实计算,检验每一项论断,并以任何人都能验证的证据密封每一项结果。
开发中 - 私有研究环境
内建于架构之中
个计算实验室
种实验任务类型
个相互独立的证据维度
个受权限约束的 LILI 研究工具
以上数字描述的是 ALQERIS 的软件设计,并非使用量或性能指标。
愿景
如今,人工智能产生论断的速度已超过任何人核查的速度。ALQERIS 反其道而行:任何内容在经过计算、连同来源记录在案并接受质疑之前,都不算数。
每项结果都来自一次有记录的运行,包含输入、参数、代码版本和执行模式。占位内容绝不会被当作研究发现展示。
来源、数据集、运行和结论始终相互关联。已撤回的来源在被引用的每一处都会被标注。
被否定的假设和走不通的路径都是记录的一部分。它们永不删除,以免他人盲目重复。
评审、科学验证和签名属于人。系统负责记录,而不是模仿。
实验室
每个实验室都在隔离环境中运行计算,并说明每项结果的产生方式:本地计算、模拟器、测试数据或真实服务。选择一个实验室开始探索。
以已知标准答案衡量 AI 回答流程的可靠性,让模型行为得到评分,而不是凭假设。
执行本地计算
候选算法在受保护的评估器下与固定基线比较,并结合变异搜索和自适应实验。
执行本地计算
理想与含噪声的电路模拟,以精确的经典参考进行核对,并给出容错规模下的资源预测。
执行模拟器
内核基准测试包含预热、重复运行、正确性检查和置信区间,让速度结论附带其不确定性。
执行本地计算
数字设计流程:以代码描述硬件,对照参考进行模拟,并综合到通用门库。
执行模拟器
在领域迁移条件下,通过物理模拟测试控制策略。模拟结果均标明为模拟,绝不当作物理测量。
执行模拟器
原子间势建模、以代理模型核对的数值求解器,以及带单位校验的符号回归。
执行本地计算
在结构因果模型上进行干预与消融,并以已知真值衡量估计量的偏差。
执行本地计算
由 SMT 求解器或证明助手检查命题。只有检查器接受,证明才会标记为已验证。
执行本地计算
由密封评估器对保留测试集进行评估。基准标签永不离开保险库,即使管理员也无法读取。
执行密封评估器
收录 API、数据集、模型和工具的目录,每项均注明许可、访问条件和成本,并以检查点方式导入。
执行启用前使用测试数据
量子实验室
量子电路在理想及感知噪声的模拟器上运行,并与精确的经典参考进行比对。资源预测会估算容错硬件所需的条件。凡未在硬件上运行的结果,绝不会被呈现为硬件结果。
方法
每个研究项目都遵循同一路径。每一步都会留下可读取、可重放、可审计的记录。
研究计划在工作开始前撰写、版本化并获批准。假设预先声明。
每次运行都在隔离环境中执行,不具备常驻访问权限,并记录输入、输出和执行模式。
复现、反向测试和密封基准会在任何人依赖结果之前,尽力将其推翻。
结果被打包为规范记录,经过哈希、签名,并汇入一棵 Merkle 树。
任何持有证明包的人都可以在浏览器或命令行中独立验证。
出版物、知识产权文件和合作伙伴空间均依据证据准备。任何内容都不会被自动发送或提交。
证明账本
完整不等于有效。ALQERIS 将九个证据维度分开管理,并如实显示每一项的状态。尚未测量的内容,会直接标明。
Merkle 批次 - 每项结果成为一片叶子,每片叶子都绑定到唯一的根
验证器在演示证明包上的输出示意。
基于开放且可独立验证的标准:规范 JSON、SHA-256、签名信封和 Merkle 树。
基准保险库
基准测试的答案始终留在保险库中。只有受保护的评估器可以读取,它只返回分数,绝不返回标签。研究人员、管理员或 AI 都拿不到。
ALQERIS 中的 LILI
LILI 是整个 NEO AI 生态系统的助手,出现在 ALQERIS 的每一个界面中。她连接来源、实验与结果,并且只以提问者本人的权限行事。每一次工具调用都会被记录。
研究工具
基于演示数据的示意对话。
安全与治理
访问始于管理员创建的个人邀请链接。没有公开注册。
研究负责人、研究人员、评审人、审计人员和合作伙伴,只能查看和执行其角色允许的内容。
每项操作都写入哈希链式、只可追加的审计日志,应用本身也无法改写。
每次运行都在独立沙箱中执行,没有常驻角色,也不存储任何密钥。
项目默认私有。进入公开登记需要明确批准。
NEO AI 中央管理可以监督 ALQERIS,但任何人都无法更改已密封的证据和人工签名。
NEO AI 生态系统
ALQERIS 是 NEO AI 的六个垂直领域之一,另有二十个正在筹备。每个垂直领域保留各自的数据和权限,并共享同一智能:LILI。
+ 20 个垂直领域筹备中
探索 NEO AIALQERIS 当前进展
ALQERIS 正在开发中。研究工作空间、实验室和证据引擎已完成设计与构建;交互式原型使用演示数据运行。访问将以邀请方式开放。
研究工作空间、十一个实验室、证据引擎、LILI 集成。
面向内部研究团队,数据源在完成许可审查后逐一启用。
用于研究合作的合作伙伴空间,受邀使用。
ALQERIS 简介
ALQERIS by NEO AI 是面向人工智能、量子与前沿技术的高级研究环境。研究团队用它规划工作、运行计算、连同来源保存每项结果、检验自身论断,并密封可验证的证据。
暂时还不能。ALQERIS 正在开发中,交互式原型使用演示数据。账户通过个人邀请开通:任何人都可以提交访问申请,团队会逐一审核。
量子实验室使用模拟器:理想与含噪声的电路模拟,以精确的经典参考进行核对,并提供资源预测。任何使用量子硬件的情况都将是单独、明确的决定,相关结果也会作相应标注。
每项结果都可以密封在证明包中:一份经过哈希、签名并纳入 Merkle 批次的规范记录。独立验证器可在浏览器或命令行中检查该证明包,并分别显示九个证据维度。
LILI 是 NEO AI 生态系统的助手。在 ALQERIS 中,她帮助搜索来源、提出假设、规划实验、比较运行、关联证据和起草报告。她只以使用者本人的权限行事,每项操作都会被记录。
ALQERIS 是 NEO AI 的垂直领域之一,由 My NEO Group 旗下子公司 NEO TECH LABS TECHNOLOGY L.L.C(迪拜)开发。