第151章 上帝公式（2 / 2）
?存在满射π:proof(t)→m，將本质等价证明映射到同一点；
?证明的微小结构变化对应m上的小距离；
?证明简化对应m上的长度递减路径；
?证明策略的选择对应m上的连续路径。
2.若上述空间存在，是否满足：
?对任意可证公式?，在m中存在唯一极小测地线，对应?的最优最短证明；
?该空间可赋予黎曼度量、曲率、切空间、梯度流等微分几何结构；
?可证性、独立性、证明难度、证明长度下界可由空间的几何不变量完全刻画。
3.该几何结构是否对所有主流数学领域（代数、拓朴、分析、数论、组合）统一有效？
前些天，叶清河光是看这个问题都有些看不明白，要不是最近抽空就学习，针对性的去看一些资料，然后补足不懂的知识，他连这个题都看不太懂。
这个问题在网络上也有一些专业的人在討论。
网上对这个问题的难度评价是，这个问题是希尔伯特第24问题的现代终极形式，横跨证明论，范畴论，微分几何，计算复杂性，类型论。
不过，如果真的能够解决这个问题，那么自动定理证明將从暴力搜索变为几何测地线计算，ai推理效率將会提升万倍乃至百万倍。
会彻底解决ai幻觉、长程推理失效、逻辑不可靠问题，重构全球人工智慧底层架构。
不夸张地说，这个问题要是能证明出来，那在学术上可以称为开派祖师了。
开创证明几何的全新数学分支。
人工智慧公司表示，成果可发表於全球顶级数学期刊，他们提供全部產业落地支持与联合署名。
说实话，就算是叶清河有数学达人的技能，现在看这个问题还是有一些难。
不是说不能解，而是这个问题跟其他问题不一样，如果他真的能把这个问题解出来，將会面临非常多的质询，更主要的是这个问题不是给某个公司答案，而是给一个行业解决一个问题，他得考虑解决了后怎么去给別人解释。
更主要的是这个问题牵扯太广，所以他现在只能一点一点先学习相关知识，然后再用数学达人的能力把它解出来並吃透。
他觉得这个问题要是真的解出来，那么他后半辈子吃喝问题恐怕就不用发愁了。
可以说，全球所有科技巨头、ai公司、军工、晶片企业、金融机构都要付费。
因为这解决的不是一个小算法，而是新一代人工智慧的底层数学根基。
这些公司想要用这个结论，只有三条路，一是直接用理论做產品，这就是侵权，二是绕开理论，先不说做得出来做不出来，光时间浪费上跟別的公司拉开的差距，就没有公司愿意选择这条路，剩下的就只有一个路子了，交钱拿授权，这样才能合法使用。
解决这个问题，就相当於握住了ai的上帝公式。 ↑返回顶部↑
?证明的微小结构变化对应m上的小距离；
?证明简化对应m上的长度递减路径；
?证明策略的选择对应m上的连续路径。
2.若上述空间存在，是否满足：
?对任意可证公式?，在m中存在唯一极小测地线，对应?的最优最短证明；
?该空间可赋予黎曼度量、曲率、切空间、梯度流等微分几何结构；
?可证性、独立性、证明难度、证明长度下界可由空间的几何不变量完全刻画。
3.该几何结构是否对所有主流数学领域（代数、拓朴、分析、数论、组合）统一有效？
前些天，叶清河光是看这个问题都有些看不明白，要不是最近抽空就学习，针对性的去看一些资料，然后补足不懂的知识，他连这个题都看不太懂。
这个问题在网络上也有一些专业的人在討论。
网上对这个问题的难度评价是，这个问题是希尔伯特第24问题的现代终极形式，横跨证明论，范畴论，微分几何，计算复杂性，类型论。
不过，如果真的能够解决这个问题，那么自动定理证明將从暴力搜索变为几何测地线计算，ai推理效率將会提升万倍乃至百万倍。
会彻底解决ai幻觉、长程推理失效、逻辑不可靠问题，重构全球人工智慧底层架构。
不夸张地说，这个问题要是能证明出来，那在学术上可以称为开派祖师了。
开创证明几何的全新数学分支。
人工智慧公司表示，成果可发表於全球顶级数学期刊，他们提供全部產业落地支持与联合署名。
说实话，就算是叶清河有数学达人的技能，现在看这个问题还是有一些难。
不是说不能解，而是这个问题跟其他问题不一样，如果他真的能把这个问题解出来，將会面临非常多的质询，更主要的是这个问题不是给某个公司答案，而是给一个行业解决一个问题，他得考虑解决了后怎么去给別人解释。
更主要的是这个问题牵扯太广，所以他现在只能一点一点先学习相关知识，然后再用数学达人的能力把它解出来並吃透。
他觉得这个问题要是真的解出来，那么他后半辈子吃喝问题恐怕就不用发愁了。
可以说，全球所有科技巨头、ai公司、军工、晶片企业、金融机构都要付费。
因为这解决的不是一个小算法，而是新一代人工智慧的底层数学根基。
这些公司想要用这个结论，只有三条路，一是直接用理论做產品，这就是侵权，二是绕开理论，先不说做得出来做不出来，光时间浪费上跟別的公司拉开的差距，就没有公司愿意选择这条路，剩下的就只有一个路子了，交钱拿授权，这样才能合法使用。
解决这个问题，就相当於握住了ai的上帝公式。 ↑返回顶部↑