Annals of Mathematics paper proves a 1853 design conjecture
MarioKrenn6240 · x · 2026-07-29
A screenshot shows an Annals of Mathematics paper titled “The existence of designs.”
The abstract says the authors prove the existence conjecture for combinatorial designs, resolve a question from Steiner in 1853, and derive broader results showing natural divisibility conditions are enough for clique decompositions of uniform hypergraphs under quasirandomness assumptions.
More from Research
- Engineer Debunks Kimi K3 Memory Claims: Small State ≠ Flash Offload — AccBalanced · 2026-07-30
- Discussion: Why hasn't anyone built a neural network to detect AI text? Image detection has research papers — emeka_boris · 2026-07-30
- Agents still struggle with mathematical work: Codex spirals into 'proof certificates' and inventories — doodlestein · 2026-07-30
- TorchSpec Enables Disaggregated Speculative Decoding Training at Scale — zhyncs42 · 2026-07-30
- Compute Surge: 10 Major Scientific Breakthroughs AI Could Unlock by 2028 — Annual_Judge_7272 · 2026-07-30
- Inside SOTA Deep Research: Native Model Training and 150 Sub-Agents — SimonShaoleiDu · 2026-07-30