待验证50% 置信事实精确时间
雪铁龙的数学家Paul de Casteljau独立提出了等价于贝塞尔曲线的算法，但因商业保密原因未能及时发表
1
来源数
50%
置信度
长期有效
时效性
2026/8/28
首次发现
来源
涉及实体
相关事实
待验证Clothoid的数学表达涉及菲涅尔积分，无法用初等函数精确表示，这是其在计算机图形学中未被广泛采用的原因之一60% 相似待验证1931年哥德尔证明不完备定理：任何包含自然数算术的一致形式系统必然存在无法证明也无法反驳的命题，且系统无法在内部证明自身一致性59% 相似待验证On May 20, 2025, OpenAI announced that its internal general-purpose reasoning model independently disproved the planar unit distance conjecture proposed by Paul Erdős in 1946.59% 相似待验证纳维-斯托克斯方程三维空间中的光滑解存在性至今未被数学证明，是克莱数学研究所悬赏的千禧年问题之一58% 相似待验证DeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/810678API
curl https://kongchang.com/api/v1/knowledge/claims/810678MCP
get_claim(id=810678)