heyongjun666

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

数学证明蓝图与引理台账约定。把问题拆成带状态的依赖图（假设/已知/待证/已证/有反例），定义"问题是否被解决"的可检查判据（闭包/无环/结论对齐），并给每条结论标注证据等级。当需要拆解证明依赖、核对整体是否闭合或判定结论可信度时使用。

数学证明的对抗性审查纪律。用于逐行核验证明、寻找漏洞、构造反例并判定成立性。当需要审查或验证一个证明、找 gap、构造反例、或判断证明是否成立时使用。

用 SymPy 与 NumPy 做符号与数值计算的实用指南。用于化简、求导、求极限、级数展开、解方程、数值验证与反例搜索。当需要实际运行符号/数值计算来验证猜想或生成算例时使用。

探索数学问题时的多视角思维透镜。用公理化、对偶、对称、谱、变分、极端、归纳、计数等视角切换思路，帮助突破单一思路的僵局。当探索问题思路、形成猜想或评估证明路径时使用。

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph

heyongjun666/aicu-graph