Mathematician proposes nonlinear variant of Komlós conjecture, inspired by AI proof
burny_tech · x · 2026-09-24
Rather than digesting AI's proof of the Komlós conjecture, the author studied the problem itself and, inspired by the Ribe program with some AI help, proposes a neat nonlinear variant: if all edges of a cube map to curves of Euclidean length at most 1, then some diagonal's image has ℓ∞-length at most 10, with a Banach space analogue to follow.
More from Research
- OpenRSI launches benchmark testing recursive self-improvement on 1k-GPU clusters with 60+ hour agent runs — ChengleiSi · 2026-09-24
- PosteriorBench: better reconstruction accuracy can mean worse posterior recovery — AnimaAnandkumar · 2026-09-24
- Third Unitree G1 Humanoid Soccer Demo in One Day Shows Sustained Dribbling With Onboard LiDAR — Darpinian · 2026-09-24
- 30 annotations with GEPA prompt optimization boost lead scorer accuracy 43%, cut cost 5x — CShorten30 · 2026-09-24
- Anthropic biologists: Claude's biology progress in a year is breathtaking, from hypothesis to lab confirmation — Flomerboy · 2026-09-24
- IROS 2026 plenary debate pits 8 experts on robots: generalists vs specialists — siddhss5 · 2026-09-24