Unverified50% confidenceFactExact time
The geometric axioms of this work were formally verified in Lean 4.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
11/6/2026
First Seen
Valid until: 2/4/2027
Sources
Related Entities
Related Claims
UnverifiedThe correctness of results containing a Lean 4 proof can be independently verified by anyone by running the Lean checker.73% similarVerifiedFormal verification tools such as Lean and Coq can be used to verify complete mathematical proofs generated by AI, thereby guaranteeing their correctness in a mathematical sense.72% similarUnverifiedFormal verification reduces proof checking to a fully mechanized type-checking process through the Curry-Howard correspondence.70% similarUnverifiedThe core arguments of the ReRoute paper have been machine-verified using the Lean formal proof tool.69% similarUnverifiedThe research team formalized the certification argument in the Lean theorem prover, machine-checking the derivation from the certified numerical bounds to the residual theorem.69% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1143735API
curl https://kongchang.com/api/v1/knowledge/claims/1143735MCP
get_claim(id=1143735)