EASON

生命会自己寻求出路。

Life finds a way.

独立研究者 · AI 与复杂系统

智能如何研究、判断、行动,并对自己给出的结论负责。

Build your
own evidence

v  滑动开启探索

// 在动手之前,先承认三个不等式

< 边界,先于口号 >

仿真跑通≠现实可靠
检索命中≠结论现行
AI 输出≠可信依据

An Evidence Odyssey

独立研究 · 证据为船

人负责定义值得解决的问题。

AI 负责探索道路。

真实证据决定保留什么。

失败也是证据。

生命会自己寻求出路。
Life finds a way.

// 主线 ClaimLedger · 证据原生 AI

< 数字后面是判断 >

0
测试,而非绿灯
421 个测试跑在 macOS/Linux CI 上;检查器只验证结构与在场性,不验证真伪——绿灯不是证明。
0
过期命中(@5)
状态过滤把过期命中从 54% 压到 0;代价是 Recall@5 由 1.00 降至 0.92,两个数字都写进基准报告。
0
运行时依赖
纯标准库实现,零依赖。不引入自己不理解的代码——供应链本身就是攻击面。
0
记忆的失效方式
过期结论被当作现行、冲突被静默合并、争议无人裁决。它管状态与来源,不判断真伪。
0
平局按原样归档
lastgreen v0.1 试点 10 组配对:0 胜 1 负 9 平,负结果保留归档——失败也是证据。

// 研发宪章

< 三条,不再多 >

01

目标先于路线。

先说明为什么做、做到什么程度,再选方法;行业惯例不构成理由。

02

探索必须守界。

自主选择方法,不等于自行获得新的权限、预算或发布授权。

03

失败也是证据。

没复现的、没通过的、证据不足的结果保留归档,按原样标注。

// 与口号保持距离

< 边界,不藏在口号里 >

  • [!]这些是个人研究系统,不是生产系统;
  • [!]lastgreen 的 v0.1 试点是负结果(10 组配对中 0 胜 1 负 9 平),v0.2 的 12 次消融尚未运行;
  • [!]flowcredit 的风险结论不代表已经校准的信用评级;
  • [!]go2w 与 g1 的结果都在仿真中:仿真结果不等于实物可靠。
CI 用 test_profile.py 校验本页:检查器只验证结构与在场性,不验证真伪——绿灯不是证明。

// 此刻的轨道参数

< 现在 >

在做

ClaimLedger v2 争议闭合、双时态与依赖回溯已合入 main,尚未进发布版(v0.10.0 不含);Phase B 与存储合并仅设计定稿。

未做

go2w 的域随机化与 sim2real 验证;g1 的长时程任务仍是目标而非结果。

习惯

用小工具与创意编程保持试错的手感——它们不进正式仓库。

去仓库 >>>

研究假设完整展开见 life-finds-a-way · 基准与负结果都写进仓库