OpenAI 拟一次放出约 400 个 AI 数学证明，引发学界热议

OpenAI 拟在公共服务器上发布约 400 份 AI 生成的数学证明，此前被强制公开的 Navier–Stokes 证明例证仍令多位数学家困惑，尚未理解其原理。学者 RexDouglass 认为数学界对 AI 低质内容的恐慌过度：GitHub 上数百万份质量参差的代码并未导致生态崩溃，反而形成自组织生态，数学界无需担忧“存在性崩溃”。