AGI Hunt· basedjensen·· 3 小时前AI 评分59
22页预印本同时解决Hilbert第12问题与Zauner猜想,证明由LLM深度参与
22页预印本解决Hilbert第12问题,证明过程LLM深度参与
AI 导读
一篇 22 页预印本同时解决了实二次域上的 Hilbert 第 12 问题与 Zauner 猜想(即 SIC-POVM 问题),证明过程由 LLM 深度参与。一位独立研究者于 9 月 29 日提交了这份 LLM 辅助的证明,数学家 Radchenko 与 Wheeler 随后在 9 月 30 日让 LLM 生成了一版更干净的证明,并花 4 天时间逐步验证。
来源:AGI Hunt · agihunt.info