Ramsey number

菲尔兹奖得主：AI通过寻找反例擅长数学 · 跟踪2个来源

包括菲尔兹奖得主Timothy Gowers在内的著名数学家观察到，当前AI模型主要通过寻找反例而非构建直接证明来解决复杂的数学猜想。这种方法在Erdős单位距离猜想和Jacobian猜想等问题上取得了重大突破，AI模型识别出了一些反驳或挑战长期以来假设的具体实例。Gowers认为，AI的有效性源于其庞大的知识库，能够应用跨领域的工具，以及其进行广泛、低成本试错的能力，这使其能够探索广阔的数学空间以寻找难以捉摸的解决方案。