人机协作搜索与形式化核验已有强结果，但通用工具和正式验收仍不足。
建议动作等待数学界正式验收与可复用搜索工具。
判断复核于 2026-10-23 · 依据：研究者借助人类引导的 AI 搜索证明 KLS 猜想