Unverified50% confidenceFactExact time
雪铁龙的数学家Paul de Casteljau独立提出了等价于贝塞尔曲线的算法，但因商业保密原因未能及时发表
1
Sources
50%
Confidence
Long-term
Relevance
8/28/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedClothoid的数学表达涉及菲涅尔积分，无法用初等函数精确表示，这是其在计算机图形学中未被广泛采用的原因之一60% similarUnverifiedIn 1931, Gödel proved the incompleteness theorems: any consistent formal system that includes arithmetic of natural numbers must contain propositions that can neither be proved nor disproved within the system, and the system cannot prove its own consistency internally.59% similarUnverifiedOn 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% similarUnverifiedThe existence of smooth solutions to the Navier–Stokes equations in three-dimensional space has not yet been mathematically proven, and is one of the Millennium Prize Problems offered by the Clay Mathematics Institute.58% similarUnverifiedDeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/810678API
curl https://kongchang.com/api/v1/knowledge/claims/810678MCP
get_claim(id=810678)