独立研究者开源 10 年数学成果：14.6 万文件，AI 加速三年成型
HamOnWhy · reddit · 2026-11-04
一位有 10 余年积累的独立数学研究者公开了名为 Komorebi P 的研究计划，共 14.6 万个文件(含 Lean 形式化证明、Python/C/CUDA 实现与论文专著)。
- 核心是提出的「Realization Calculus」框架与「Komorebi Space」，目标是为数学运算、表示、变换与重构建立通用语言，横跨数学、CS、物理与 AI。
- 覆盖数论、特殊函数、信号处理、小波、量子系统等方向，还包括机器原生推理与 AI 架构新思路。
- 作者明确表示过去三年 AI 大幅加速了这项研究，并选择放弃机构背书直接公开，接受公众检验；部分工作已形式化证明，部分仅为计算验证或开放问题。
- GitHub 与阅读站点均已上线。
「漫话AGI」频道最新
- Andreessen：Agent 正如 PC 与电子表格，以「混乱」方式进入企业 — Dan_Jeffries1 · 2026-11-04
- 逾千名数学家签署誓约拒绝在研究中使用 AI — Shesawthat · 2026-11-04
- 冯·诺依曼名言梗：「你无需为你所处的世界负责」 — akbirthko · 2026-11-04
- Joscha Bach 讲两岁梦境：巧克力还在，真实感没了 — Machine Learning Street Talk · 2026-11-04
- Chollet 提问:单细胞如何仅靠基因组信息把自己连成大脑 — CatAstro_Piyush · 2026-11-04
- 美国多数情侣如今相识于数据中心，线上已远超办公室 — menhguin · 2026-11-04