AI助力黎曼猜想等著名数学难题取得突破性进展

2026年8月15日，据华尔街日报报道。研究人员通过鼓励AI系统进行数学推理，使黎曼猜想等著名数学难题取得了实质性进展。Anthropic和OpenAI的模型均参与了这一突破性研究，标志着AI在纯数学领域的应用达到新高度。