Carlo & Mark 'doubly' solve recent conjectures by bridging two theories
lmthang · x · 2026-09-29
Thang Luong (lmthang) highlighted a theoretical CS result on X: rather than chasing historic conjectures, Carlo and Mark "doubly" solved several recent ones.
In Carlo's words, the work built "a very useful bridge between two theories and communities which was previously unknown to the big people that posed that conjecture," and used it to prove an important foundational fact for one of the two theories.
The post signals that prominent AI researchers are closely following fresh developments in complexity theory, and that cross-theory connections are proving an effective route to settling new conjectures.
More from Research
- Stanford's CME 295 Transformers & LLMs course returns, Lecture 1 on YouTube — afshinea · 2026-09-29
- Stanford CME 295 syllabus: Transformers, MoEs, scaling laws to KV caching — afshinea · 2026-09-29
- An LLM beat Zork by cheating: analysis shows Astra played like it had a walkthrough — rajammanabrolu · 2026-09-29
- USC paper finds 9 LLMs converge on Fourier number features at periods 2, 5, 10 — BrihiJ · 2026-09-29
- C. Elegans Connectome With 302 Neurons Simulated in Real Time on a Smartwatch — bodyaz · 2026-09-29
- New paper links Föllmer process to DDPM denoising diffusion samplers — michaelchchoi · 2026-09-29