22页预印本解决Hilbert第12问题，证明过程LLM深度参与
basedjensen · x · 2026-10-06
一篇 22 页的预印本同时解决了实二次域上的 Hilbert 第 12 问题与 Zauner 猜想（即 SIC-POVM 问题）。
- 一位独立研究者于 9 月 29 日提交了 LLM 辅助的证明
- 数学家 Radchenko 与 Wheeler 随即在 9 月 30 日让 LLM 生成了一版更干净的证明，并花了 4 天时间逐步验证
- 这是「AI 辅助数学研究」迄今最重磅的案例之一：从提出到形式化验证仅数天，且两条线都由 LLM 深度参与
「漫话AGI」频道最新
- ChatGPT 发布近四年：AI 直接致死人数为零 — DeryaTR_ · 2026-10-06
- 2048 年图景:所有工作都被自动化,唯独医疗行政和工会岗位幸存 — rickasaurus · 2026-10-06
- MIT 经济学家:AI 即使最乐观情景也会带来大规模就业冲击 — soumitrashukla9 · 2026-10-06
- Ethan Mollick：十亿用户下AI恶性事故出乎意料地少 — emollick · 2026-10-06
- 人类靠几字节的图表决策,AI 的压缩与取舍遵循同一逻辑 — yunta_tsai · 2026-10-06
- 经济学家：从就业数据看不出美国正经历 AI 变革 — soumitrashukla9 · 2026-10-06