ASI Research Map
/ Thermodynamic AGI
EN
中文
Node Types
Core Papers (P1–P3)
Supporting Work (引用)
Formal Proof (Lean4)
Toy Experiment
Competing Path
Theoretical
Validation
Rival / Gap
nodes:
0
· edges:
0
·
GitHub
·
FECG_LEAN
drag nodes · scroll to zoom · hover for details