Unverified50% confidenceOpinionExact time
An extremely low residual can only prove that the correct functional form has been found, and cannot distinguish whether this is a genuine discovery or a numerical reconstruction of a known structure.
1
Sources
50%
Confidence
Long-term
Relevance
10/1/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe Fourier basis of value functions defined on binary vector spaces is the Walsh-Hadamard transform basis, and sparsity means that the main structure of the function can be recovered with far fewer than 2^n samples.67% similarUnverifiedSome mathematicians believe that proofs which cannot be verified step by step by the human brain do not carry sufficient mathematical meaning.66% similarUnverifiedSince the Navier–Stokes equations were proposed in the 19th century, the existence and smoothness of their solutions has remained unproven.63% 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.63% similarUnverifiedHardy、Benedicks、Amrein-Berthier等人证明了函数及其傅里叶变换的支撑集不能同时具有有限测度（除非函数为零）63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/964001API
curl https://kongchang.com/api/v1/knowledge/claims/964001MCP
get_claim(id=964001)