Unverified50% confidenceEventExact time
The team of Professor Dong Bin and Academician Liu Ruochuan of Peking University used the self-developed SHEAF framework to carry out formal verification of the proof of the three-dimensional Ghys conjecture, confirming its strict correctness and passing the Lean check.
1
Sources
50%
Confidence
Long-term
Relevance
10/15/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe original author verified through multiple rounds of testing the feasibility of adjusting the model resolution order to force Explore to use Haiku 5.5.67% similarUnverifiedThe core arguments of the ReRoute paper have been machine-verified using the Lean formal proof tool.66% similarVerifiedThe key to judging whether news of an AI mathematical breakthrough is true or false lies in whether the chain of evidence is complete and reproducible; one should check three aspects: the original prompt, the complete proof, and the formal verification record.66% similarUnverifiedThe paper's equivalence conclusions were replicated across three base language models, covering six benchmarks, validated with a second PRM, and subjected to a compatibility gating scan.65% similarUnverifiedFormal analysis can perform consistency checks, verifying whether logical contradictions exist within a set of requirements.64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1033822API
curl https://kongchang.com/api/v1/knowledge/claims/1033822MCP
get_claim(id=1033822)