Claude 答对却证不出数域筛法时间复杂度

Anthropic 研究员 Geoffrey Irving 在讨论中指出，对于广义数域筛法（general number field sieve）的时间复杂度，Claude 虽能给出正确结果，但在使用量化推理假设（QRH）的设置下仍无法完成证明。他还追问该筛法是否已被形式化、其正确性能否在拟黎曼假设下由形式化工具验证，并跟踪相关形式化进展。

2026-10-30 ~ 2026-10-30 · 2 条相关