Unverified50% confidenceFactExact time
In 2020, Ji et al. proved MIP*=RE, simultaneously disproving the Connes embedding conjecture in pure mathematics.
1
Sources
50%
Confidence
Long-term
Relevance
8/16/2026
First Seen
Sources
Related Claims
Unverified2020年MIP*=RE成果证明了量子交互证明系统的能力，同时解决了Connes嵌入猜想这一纯数学问题80% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息64% similarUnverified残差连接（ResNet）由中国学者何恺明提出，数学表达为 H(x) = F(x) + x63% similarVerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture59% similarUnverified傅里叶神经算子（FNO）由Zongyi Li等人于2020年提出，学习的是无穷维函数空间之间的映射，能以比传统数值方法快数个数量级的速度求解偏微分方程58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/756529API
curl https://kongchang.com/api/v1/knowledge/claims/756529MCP
get_claim(id=756529)