AISafetyMemes 汇总：AI 已对 500 个数学开放难题中的 90 道给出证明

AISafetyMemes 汇总称，AI 已对全球最重要的 500 个数学开放难题中的 90 个给出证明或实质进展。其中黎曼假设、Hodge 猜想等多个千禧年级顶级难题获得部分证明。这一进展显示 AI 在前沿数学研究中的能力显著提升，引发社区对 AI 辅助数学证明潜力的关注与讨论。