待验证50% 置信事实精确时间
1930年施尼尔曼证明了任何大偶数都可以写成有限个质数之和
1
来源数
50%
置信度
长期有效
时效性
2026/9/26
首次发现
来源
涉及实体
相关事实
待验证1931年哥德尔证明不完备定理：任何包含自然数算术的一致形式系统必然存在无法证明也无法反驳的命题，且系统无法在内部证明自身一致性64% 相似待验证1931年哥德尔证明形式数学系统能对自身命题及可证明性进行编码63% 相似已验证黎曼猜想由数学家黎曼在1859年提出，断言黎曼zeta函数所有非平凡零点的实部均为1/2，是千禧年问题之一62% 相似待验证Frostman引理（1935年）断言：如果紧集的s维Hausdorff测度为正，则该集合上存在非零正则Borel测度μ满足μ(B(x,r)) ≤ C·r^s61% 相似待验证1951年冯·诺依曼证明了von Neumann不等式：对于任意压缩算子T和任意多项式p，有‖p(T)‖ ≤ sup{|p(z)| : |z| ≤ 1}61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/951495API
curl https://kongchang.com/api/v1/knowledge/claims/951495MCP
get_claim(id=951495)