Manifold market at 36% odds that an MF group proof will appear this month
Sauers_ · x · 2026-09-06
- A Manifold prediction market asks whether a proof of a finitely presented discrete MF group will appear before September 2026 — which would negatively resolve the long-standing open problem of whether all groups are MF, described as a group-theory "holy grail."
- GPT 5.6 Sol reformulates it as: can every countable group be faithfully approximated by finite-dimensional unitary matrices in operator norm?
- Market sits at 36% YES; the creator claims public "insider" knowledge and bets YES. Comments note multiple claimed proofs already online, but resolution awaits mathematician validation — proofs written in August count even if verification slips.
More from Research
- One prompt is enough: distillation from a single query hits 71.5% of full-data gains — burkov · 2026-09-06
- 96-plasmid yeast transformation in 3.25 hours with open-source Pylabrobot — nlarusstone · 2026-09-06
- BioTorch launches in beta: 116 PyTorch exercises to onboard researchers into biological AI — yawnxyz · 2026-09-06
- eXCV workshop at ECCV 2026 to tackle explainability in the foundation-model era — CSProfKGD · 2026-09-06
- ETH Zurich tested 100 developers: written communication predicts vibe coding success — _akpiper · 2026-09-06
- ChatGPT's new model now rivals Claude for math animations, demo shows — PTenigma · 2026-09-06