传 OpenAI 或 Anthropic 接近攻克千禧年数学难题

有传言称 OpenAI 接近验证霍奇猜想的证明，而 OpenAI 或 Anthropic 可能即将给出 Birch-Swinnerton-Dyer 猜想的解。这两个问题均属千禧年大奖难题，已被数学界研究数十年而未解。若 AI 生成的证明获验证，将是数学史上的里程碑，也证明 AI 能产出新颖且具创造性的科学知识。