待验证50% 置信事实精确时间
科学共同体最终通过持续的实验验证和技术应用接受了相对论
1
来源数
50%
置信度
长期有效
时效性
2026/9/11
首次发现
来源
涉及实体
相关事实
待验证形式化验证的里程碑包括Lean中对Perfectoid空间的形式化、Peter Scholze的液态张量实验由社区完成验证，以及四色定理在Coq中的完整证明57% 相似待验证机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受56% 相似待验证勒布主导伽利略计划，致力于以系统化、可量化的科学方法搜寻和分析潜在的地外技术特征55% 相似待验证混合路径（abductive approach，溯因法）在近年质性研究中越来越受推崇，允许研究者在理论敏感性和数据开放性之间取得平衡54% 相似待验证动态计算图相比早期TensorFlow静态图是PyTorch在研究社区迅速普及的根本原因54% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/901878API
curl https://kongchang.com/api/v1/knowledge/claims/901878MCP
get_claim(id=901878)