独立研究者开源 Komorebi P 数学研究计划：14.6 万文件，AI 加速三年成型

独立数学研究者公开 Komorebi P 研究计划，包含 14.6 万个文件，涵盖 Lean 形式化证明、Python/C/CUDA 实现及论文专著。其核心是 Realization Calculus 框架与 Komorebi Space，面向数学、CS、物理与 AI 建立通用语言；过去三年 AI 大幅加速研究，GitHub 与阅读站点现已上线。