“在核对经营主体有关信息时，我们运用‘DeepSeek+Python’技术进行数据分析，自动批量化获取审计所需要的数据，运用科技手段提升审计工作质效 ...

在 Zulip 讨论中，Bruno Le Floch 最初指出，在论文中「E1689-E2 的所有已知证明都是计算机辅助」这一说法太绝对了。他自己后来给出了一个更具可读性的「人类版本」，虽有些步骤灵感来自 prover9，但整体不应算作纯计算机证明。