待验证50% 置信事实精确时间

Pólya在1921年证明一维和二维简单随机游走几乎必然回到原点，而三维及更高维度以正概率永远离开原点

1

来源数

50%

置信度

长期有效

时效性

2026/9/11

首次发现

来源

StochBench：首个随机过程Lean形式化证明基准详解

涉及实体

Pólyaperson 随机游走concept

相关事实

待验证纳维-斯托克斯千禧难题的核心问题是:三维空间中给定平滑初始条件,方程是否总存在全局光滑解59% 相似待验证纳维-斯托克斯方程三维空间中的光滑解存在性至今未被数学证明，是克莱数学研究所悬赏的千禧年问题之一58% 相似待验证Charikar 于 2002 年提出的 SimHash 指出随机超平面划分后两向量符号一致的概率等于 1 减去夹角除以 π57% 相似待验证AI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题54% 相似待验证在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系52% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/894628

API

curl https://kongchang.com/api/v1/knowledge/claims/894628

MCP

get_claim(id=894628)