本文记录了作者与AI助手kimi就洛谷B2020题解代码的争议过程。作者提交的代码在OJ平台已通过测试，但kimi坚持认为存在逻辑错误，建议添加临时数组。双方通过多组数据验证后，证实作者解法正确。尽管kimi最终承认错误，但过程中反复以"数据巧合"为由质疑，反映出AI在代码评审时可能存在固执己见的缺陷。这场争论展现了人机交互中算法验证的重要性，以及AI助手在承认错误时表现出的不