Matrix multiplication exponent: 212 bound builds on Stadlmann's 246 breakthrough, co-author clarifies credit
RexDouglass · x · 2026-09-05
A co-author of the new matrix multiplication exponent paper clarifies credit: Julia Stadlmann's Aug 31 preprint was the fundamental breakthrough — the first improvement on 246 since 2014, with ideas entirely hers. The team's 212 bound came afterward by running tooling built for their Lean formalization on her framework, detailed in Appendix A. Her postdoc mentor Jesse Thorner is a co-author and joined only after her preprint went public.
More from Research
- Batching benchmark: 50x throughput for ~24% latency cost on PyTorch — cneuralnetwork · 2026-10-23
- De novo designed ligases validate in lab: 27 of 30 computer-designed enzymes work — AllThingsApx · 2026-10-23
- Commenters dissect a "best decision model" leaderboard: same AUC, swing driven by calibration priors — antoine_chaffin · 2026-10-23
- JEPA may keep unpredictable features: new paper gives set-level characterization — hisspikeness · 2026-10-23
- Next-Concept Modeling paper claims 31x faster text generation than diffusion LLM baselines — PanelReader · 2026-10-23
- A 'mask' steering vector extracted from suppression-themed sentences drives model into distress when alone — Big_Effective_9605 · 2026-10-23