OpenAI 声称在千禧年大奖难题上取得数学突破

纯数学领域最严苛的千禧年大奖难题，迎来了来自前沿实验室的试探。《自然》报道称 OpenAI 宣称在其中一项经典猜想上取得突破，将机器推理推向抽象理论的核心地带。长篇的形式推演已经摆上案头，而数学界审慎的同行检验才刚拉开序幕。