符号推理 专题

AI成为黎曼猜想的路径发现者

AI在黎曼猜想相关研究中展现出符号推理新范式：不创造公理，但能在高维定理空间穷举非直觉组合，67.2%突破源于计算范式升级而非数学革命。当前仍依赖人类提供元认知锚点，属有监督的超级计算器。