Hilbert's 12th Problem and SIC-POVM Claim Solved, Sparking LLM Proof Debate
littmath · x · 2026-10-07
Dmitry Grinko claims a resolution of Hilbert's 12th problem for real quadratic fields, which would also resolve the SIC-POVM problem (Zauner's conjecture).
Reposter Jack Ceroni praises the result as potentially amazing but calls the introduction a tragedy: if mathematicians are forced to construct ad-hoc proofs with LLMs out of fear of being too slow, mathematics cannot sustainably grow. The tension between AI acceleration and the health of the math ecosystem is now a hot debate.
More from AGI Musings
- 'The only moat left is caring about your project past two days' — danshipper · 2026-10-07
- Gary Marcus Asks: Is a 'Nice Tool' Worth a 10% Risk of Catastrophe? — GaryMarcus · 2026-10-07
- Gary Marcus: AI extinction risk near zero, but catastrophe and dystopia risks loom — GaryMarcus · 2026-10-07
- PhD student laments shrinking research horizons as IceCube's 38-year path wins the Nobel — DJiafei · 2026-10-07
- Alignment Science essay traces Adam Smith's invisible hand as a cross-scale alignment pattern — sebkrier · 2026-10-07
- Guardian: Safety Cases Are the New Flight Manuals for AI, but Regulators Aren't Demanding Proof Yet — nordicinst · 2026-10-07