如何评价代数几何著名猜想「雅可比猜想」被 AI 证伪？如此简洁、可独立验证的数学发现意味着什么？

摘要

代数几何著名猜想“雅可比猜想”被AI证伪的消息震动数学界。AI利用符号推理和穷举搜索找到了反例，整个过程简洁且可独立验证。这不仅是单个猜想的突破，更意味着AI有能力在数学研究中扮演“发现者”角色——它能快速筛选大量结构，找到人类难以察觉的例外。对于数学家和AI研究者而言，这预示着一个新范式：AI将成为数学猜想验证与探索的得力助手。