Mathematicians Build Long-Awaited Graph Sandwich

3 comments

• bhouston 1 minute ago
  I am not a mathematician but are most papers now accompanied by a lean proof?

  Is there a central repository of lean proofs shared by mathematicians like an npm repository of JavaScript packages?

  Does it all depend on a stupid is-odd package in the end?
• mindleyhilner 42 minutes ago
  Actual meat: https://arxiv.org/abs/2510.20765
• NickNaraghi 45 minutes ago
  Seems like this would have strong implications for distillation and/or smaller types of transformers!
  [-]
  • Scene_Cast2 19 minutes ago
    How? I don't see it. (I'm familiar with the ML side, not the combinatorics side.)