EASON
生命会自己寻求出路。
Life finds a way.
独立研究者 · AI 与复杂系统
智能如何研究、判断、行动,并对自己给出的结论负责。
Build your
own evidence
v 滑动开启探索
// 在动手之前,先承认三个不等式
An Evidence Odyssey
独立研究 · 证据为船
人负责定义值得解决的问题。
AI 负责探索道路。
真实证据决定保留什么。
失败也是证据。
生命会自己寻求出路。
Life finds a way.
// 主线 ClaimLedger · 证据原生 AI
// 八个仓库 · 三条轨道 · 一组共同的问题
这些仓库不共享架构,只共享一组问题:信息凭什么可信、Agent 能自主到什么程度、任务完成如何证明、仿真成功怎样变成现实能力、AI 参与决策后如何保留证据与局限。
证据原生 AI 与 Agent 运行时 结论凭什么可信
ClaimLedgerAI Agent 的决定台账:带状态与溯源的声明库,过期结论不再冒充现状主线 FCodehost 治理的 Agent Runtime:模型只提案,每个事件落哈希链实验中 lastgreen编程 Agent 的完成验证器:完成需要「最后一次绿」的证据实验中具身智能 仿真成功怎样变成现实能力
go2w-locomotionGo2W 轮足导航(MuJoCo)已归档;Go2 关节级 RL(Isaac Lab)三种子达标开发中 g1-jev-swarm-lab单台 G1 试验台(MuJoCo):任务图、严格判定,失败阻断依赖实验中 RL-SentinelRL 训练的风险回放:失败、指标与当时的决策可复查,含规则漏检的负结果工具AI 原生金融智能 AI 参与决策后如何保留证据与局限
flowcredit风险智能 API:确定性规则承载结论,模型提取需显式同意维护中 flowcredit-research投研记忆与证据推理:观点可追溯、修订留痕,模型无裁决权实验中// 研发宪章
目标先于路线。
先说明为什么做、做到什么程度,再选方法;行业惯例不构成理由。
探索必须守界。
自主选择方法,不等于自行获得新的权限、预算或发布授权。
失败也是证据。
没复现的、没通过的、证据不足的结果保留归档,按原样标注。
// 与口号保持距离
test_profile.py 校验本页:检查器只验证结构与在场性,不验证真伪——绿灯不是证明。// 此刻的轨道参数
ClaimLedger v2 争议闭合、双时态与依赖回溯已合入 main,尚未进发布版(v0.10.0 不含);Phase B 与存储合并仅设计定稿。
go2w 的域随机化与 sim2real 验证;g1 的长时程任务仍是目标而非结果。
用小工具与创意编程保持试错的手感——它们不进正式仓库。
研究假设完整展开见 life-finds-a-way · 基准与负结果都写进仓库