Videos: https://xitter.cf/t.co/vy9r4V6aOZ
Pittsburgh, PA
Joined October 2011
- Tweets742
- Following0
- Followers7.7K
- Likes1.6K
I gave a talk at Carnegie Mellon about the recent proof (by OpenAI) of the existence of a non-sofic group:
youtu.be/uOQvzLjJK6c
To be fair, many people (e.g. Sivakanth Gopi) gave a simple n=5 counterexample to the similar 'Majority Is Least Stable' problem 10+ years ago...
Note that the answer is correct, but it has never given me a non-nonsensical proof. The proof always looks good until the key moment... A correct proof is the second paragraph of Theorem 4.1 here: cs.cmu.edu/~odonnell/papers/…
In case you're in Cambridge, MA on Tue. Dec. 10, I'll give a talk at 4pm (MIT 32-G449) about coboundary expansion in high-dimensional expanders.
It's kind of about group theory, though.
toc.csail.mit.edu/node/1671
Besides coauthor @singerng_, here's the cast of characters:
I don't know how to sell this any better than to say this is an extremely enjoyable video about Math + Halloween: youtube.com/watch?v=JlXUiqTi…
So good!
In case you're in the Boston area, I'll talk about "Quartic quantum speedups for planted inference" tomorrow (Sep. 13) at Harvard at 4pm.
This is at the Freedman CSMA Seminar. cmsa.fas.harvard.edu/event/f…
Probably the largest set of different home countries I've gotten the chance to lecture to. :)
Thanks to Jan Hązła and the rest of @AIMS_Next for inviting me to participate!
(1/3) Quantum course tidbit #6: youtube.com/playlist?list=PL…
Why is |EPR> = |00> + |11> special? Because when you draw it as a square, it's the 2x2 identity matrix.
