SubstProf weakmath (@[email protected])
3K posts

SubstProf weakmath (@[email protected])
@weakmath
Mathematician, computer scientist and humanist looking for truth. For this journey, benevolent and scientifically interested people are always welcome.

The Google turboquant paper is making ML folks in this decade discover JL lemma and interact with math folks (which is cool). It appears more cool and mysterious if you do not read ML papers from the 90s and early 2000s :)


The Google turboquant paper is making ML folks in this decade discover JL lemma and interact with math folks (which is cool). It appears more cool and mysterious if you do not read ML papers from the 90s and early 2000s :)











AlphaEvolve Just Helped Prove New Theorems in Complexity Theory Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks, leading to verified, publishable theorems in complexity theory. The team improved the inapproximability bound for MAX-4-CUT and found massive Ramanujan graphs never seen before, all with provable correctness.

@kchonyc Reassuring to hear it from you. We are still playing the ML conference Russian roulette.

In the near future, basic concentration of measure will be taught in undergraduate probability. And concentration of probability for matrices in masters-level courses. arxiv.org/abs/1501.01571











