我用 AI 证明了 Conway 的猜想

I Vibed a Proof of Conway's Conjecture

作为数学新手，我花了整整一个月，利用 Claude 和 ChatGPT 等 AI 模型，尝试解决 John Conway 提出 50 年的 Omnific integers 猜想。起初，Claude 生成的内容充满华丽辞藻却缺乏实质，于是我切换策略，让 ChatGPT 扮演“怀疑者”角色进行批判性验证。通过这种“人机协作”的反复打磨，我最终在 Lean 系统中构建了一个机械验证通过的证明。虽然该证明尚未得到数学家的独立确认，但这一过程展示了 AI 在前沿数学探索中的独特潜力与协作模式。