希尔伯特第12问题与 SIC-POVM 猜想宣称解决，引 LLM 证明争议

Dmitry Grinko 宣称实二次域上的希尔伯特第12问题已解决，从而也解决了 SIC-POVM 问题（Zauner 猜想），并附上了相关链接。转发者 Jack Ceroni 称这可能是惊人的成果，但认为引言部分读起来像一场悲剧：如果研究者因怕跟不上速度而被迫用 LLM 构造临时证明，数学将难以持续繁荣。这种 AI 加速与数学生态之间的张力成为数学圈的讨论焦点。