Unverified50% confidenceFactExact time
模型驱动搜索范式后来影响了从蛋白质折叠（AlphaFold）到数学定理证明（AlphaProof）的一系列突破
1
Sources
50%
Confidence
Long-term
Relevance
7/20/2026
First Seen
Sources
Related Claims
Unverified大模型时代许多重要发现来自实验先行，有些现象如涌现能力、上下文学习至今没有完美的理论解释62% similarUnverifiedJohn Jumper因领导AlphaFold项目解决蛋白质结构预测问题而获得2024年诺贝尔化学奖61% similarUnverified经典矩阵补全理论最初依赖不相干性（incoherence）假设，后来研究者逐步放松这一条件产出了大量工作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)