埃博拉疫情更新、AI 数学突破与永久夏令时

刚果（金）埃博拉病例突破 10,000 例成为史上蔓延最快的疫情，同时 OpenAI 与 Anthropic 竞相发布与千禧年大奖难题相关的数学及理论计算证明。两家公司声称这些 AI 生成的证明已在 GitHub 发布并通过 Lean 语言完成验证，但在成果可理解性与学界认可度上引发争议。