Unverified50% confidenceFactExact time
模型驱动搜索范式后来影响了从蛋白质折叠（AlphaFold）到数学定理证明（AlphaProof）的一系列突破
1
Sources
50%
Confidence
Long-term
Relevance
7/20/2026
First Seen
Sources
Related Claims
Unverified大模型时代许多重要发现来自实验先行，有些现象如涌现能力、上下文学习至今没有完美的理论解释62% similarUnverifiedJohn Jumper was awarded the 2024 Nobel Prize in Chemistry for leading the AlphaFold project and solving the problem of protein structure prediction.61% similarUnverifiedClassical matrix completion theory originally relied on the incoherence assumption, and researchers subsequently relaxed this condition, producing a large body of work.61% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究58% similarUnverifiedFrançois Chollet 提出的 ARC-AGI 基准和 Epoch AI 提出的 FrontierMath 基准试图通过生成全新问题来测试真正的推理泛化能力58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/567904API
curl https://kongchang.com/api/v1/knowledge/claims/567904MCP
get_claim(id=567904)