Deep Think在专业数学研究中的生成、核查与修订
研究案例包含找证明、找反例与跨领域联系；区分自主和协作贡献，并允许返回未解决。
原文位置：The Frontier of Pure Mathematics；贡献分类；Expanding to Physics and Computer Science
不能据此推出：自然语言核查器不是形式内核；发布时作者未声称其最高两档重大突破，未逐篇复核案例。
核查 2026-10-19 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-ALETHEIA
实际引用在哪里
推导与反例检查：找出可定位的论证缺口 →
原作者研究工作流报告。
关系：部分支持
推导与反例检查：找出可定位的论证缺口 →
把搜索和正确性证明分离。
关系：相邻工作参照