独立研究者公开Komorebi P研究计划

一位独立数学研究者公开 Komorebi P 研究计划及成果，GitHub 与阅读站点现已上线。计划包含约14.6万个文件，涵盖 Lean 形式化证明、Python/C/CUDA 实现、论文和专著，研究者称其以 Realization Calculus 与 Komorebi Space 为数学、计算机科学、物理及 AI 建立通用语言。 成果成熟度并不一致：部分工作已有形式化证明，部分仍仅经过计算验证或属于开放问题。研究者表示，过去三年 AI 加速了研究推进，但该说法不代表全部主张均已获得证明。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。