Canonical event
Folz and Tyomkyn publish directed-cuts conjecture preprint
arXiv 2610.21381 submitted Oct15 claims to resolve Lee Loh Sudakov conjecture; no demonstrated Altifina/Lean collaboration.
Canonical event
arXiv 2610.21381 submitted Oct15 claims to resolve Lee Loh Sudakov conjecture; no demonstrated Altifina/Lean collaboration.