ChatGPT 实验发现 Trautman 猜想的 smooth counterexample；作者独立核验后公开

Sean N. Curry 构造一个 strongly pseudoconvex CR 3-manifold：它的 canonical bundle 具有 nowhere-zero closed section，却仍不能局部嵌入 ℂ²，从而给出 Trautman conjecture 的 smooth counterexample。作者在 acknowledgements 中说明，counterexample construction 是在 8 月 18 日通过与 ChatGPT Plus 的实验发现的；ChatGPT 还用于初稿和 proofreading。作者随后独立检查全部计算与论证，并对论文正确性负责。