标签 "Mathematics"

GPT5.2在两周内解决了保罗·埃尔德什留下的11个传奇性未解数学难题，并通过形式化证明工具验证。这一突破引起了陶哲轩等顶尖数学家的关注，哈佛大学的诺姆·埃尔基斯更是在AI生成的解决方案基础上继续研究。这标志着人工智能不仅辅助人类研究者，更在纯数学前沿实现自主发现的转折点。

**Summary** 1. Hieu Pham of xAI claimed Grok3 solved the Riemann Hypothesis, only to reveal it was a joke. 2. The prank sparked a hilarious and sarcastic response from the AI community, including xAI co-founder Greg Yang. 3. AI tools like AlphaProof have made impressive strides in math, but solving the Riemann Hypothesis remains a distant goal. 4. Experts predict AI might become capable of solving such complex problems by 2026, but it’s not there yet. 5. Elon Musk has promised Grok3, with massive computational power, will be released by the end of the year.