LLM参与解决Hilbert第12问题与Zauner猜想
先了解这件事
2026年9月29日，一位独立研究者提交一份22页预印本，称同时解决实二次域上的Hilbert第12问题与Zauner猜想（即SIC-POVM问题），证明过程由LLM深度参与。9月30日，数学家Radchenko与Wheeler让LLM生成了一版更干净的证明，并花4天时间逐步验证。10月6日有报道披露此事，称这两项均为长期未解的数学难题。10月7日的新报道给出了宣称者身份：Dmitry Grinko宣称实二次域上的希尔伯特第12问题已解决，从而也解决了SIC-POVM问题（Zauner猜想），并附上相关链接；早先报道仅称其为“一位独立研究者”。转发者Jack Ceroni称这可能是惊人的成果，但认为其引言部分读起来像一场悲剧：如果研究者因怕跟不上速度而被迫用LLM构造临时证明，数学将难以持续繁荣。这种AI加速与数学生态之间的张力成为数学圈的讨论焦点。目前进展：LLM辅助的证明已提交并经过逐步验证，宣称者身份公开，相关争议在数学圈发酵。
AI 根据报道生成 · 44 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
- AGI Hunt希尔伯特第12问题与 SIC-POVM 猜想宣称解决，引 LLM 证明争议
Dmitry Grinko 宣称实二次域上的希尔伯特第12问题已解决，从而也解决了 SIC-POVM 问题（Zauner 猜想），并附上了相关链接。转发者 Jack Ceroni 称这可能是惊人的成果，但认为引言部分读起来像一场悲剧：如果研究者因怕跟不上速度而被迫用 LLM 构造临时证明，数学将难以持续繁荣。这种 AI 加速与数学生态之间的张力成为数学圈的讨论焦点。
- AGI Hunt22页预印本同时解决Hilbert第12问题与Zauner猜想，证明由LLM深度参与
一篇 22 页预印本同时解决了实二次域上的 Hilbert 第 12 问题与 Zauner 猜想（即 SIC-POVM 问题），证明过程由 LLM 深度参与。一位独立研究者于 9 月 29 日提交了这份 LLM 辅助的证明，数学家 Radchenko 与 Wheeler 随后在 9 月 30 日让 LLM 生成了一版更干净的证明，并花 4 天时间逐步验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。