22页预印本宣称解决Hilbert第12问题，LLM参与证明引争议

独立研究者 Dmitry Grinko 于 9 月 29 日提交一篇 22 页预印本，宣称解决实二次域上的希尔伯特第12问题，并由此一并解决 SIC-POVM 问题（即 Zauner 猜想）。由于证明过程有大语言模型深度参与，该结果在社区引发广泛争议与质疑。

2026-10-06 ~ 2026-10-07 · 2 条相关

• 22页预印本解决Hilbert第12问题，证明过程LLM深度参与 — basedjensen · 2026-10-06
• 希尔伯特第12问题与SIC-POVM猜想宣称解决，引LLM证明争议 — littmath · 2026-10-07