Theoretical Computer Scientist at Columbia. Formerly at Harvard, MIT and Stanford.
New York, NY
Joined March 2013
- Tweets323
- Following565
- Followers1.3K
- Likes2.9K
Josh Alman retweeted
Followup #1: We solved Erdős Problem 477! The proof was verified manually.
And of course, we can also resolve some Erdős problems along the way.
Check out the solution to Erdős Problem 477
(github.com/Pengbinghui/pipel…)
We give an affirmative answer by showing that the set of 13th powers admits a tiling complement in ℤ.
There's a new version of this post
NY Theory Day is returning on Friday April 11 at Columbia! It's free to attend but you have to register on the website by April 4. We have a great speaker lineup:
Rachel Cummings (Columbia)
Bill Kuszmaul (CMU)
Nick Spooner (Cornell)
Ryan Williams (MIT)
sites.google.com/view/nycthe…
Josh Alman retweeted
What a time for Columbia University Athletics.
Earlier today, @CULionsFB clinched its first Ivy League championship since … 1961. Tonight, @CULionsMBB improves to 7-0 on the season after a blowout of Stony Brook. The last time the program was 7-0? It was 1969.
History in NYC!
We're restarting NY Theory Day, and have a really fantastic lineup of speakers! Come check it out if you're nearby :)
sites.google.com/view/nycthe…
New York Theory Day finally returns on December 6, 2024, after being put on hiatus during COVID.
Will be held at @nyutandon in Brooklyn. Registration is free!
Ft stellar speakers Amir Abboud, Sanjeev Khanna, Rotem Oshman, and @ronrothblum!
sites.google.com/view/nycthe…
UPSET: Columbia shocks @NovaMBB! 👀
@CULionsMBB's first win against a Big East team in over a DECADE! 🔥
Crazy start to the season for @CULionsMBB!!
Josh Alman retweeted
New paper proving that many important tasks solved by transformers can't be done in subquadratic time.
Sorry Linear Transformers, Mamba and all the others.
arxiv.org/abs/2410.04271
By @firebat03 and @HantaoYu_Theory.
We put together another Galactic Puzzle Hunt that starts tomorrow afternoon and will be running for the next 10 days. It's free to play, all online, and (hopefully) fun even if you only try it for a short time. Check it out and solve our puzzles!
2024.galacticpuzzlehunt.com/
Josh Alman retweeted
I was blown away by Amir Abboud’s anecdote: they suspected that All Pairs Max Flow on undirected graphs must admit a subcubic algo since known FGC tricks to reduce APSP to UAPMF failed — they found a problem ripe for better algos guided by the library of tools developed in FGC.
Josh Alman retweeted
AI And IMO: DeepMind Solved every non-combinatorics problem. Missed every combinatorics problem :) deepmind.google/discover/blo…
Josh Alman retweeted
A number of people (grad students in particular) said they enjoyed my talk at ICALP. So maybe you'll like it too. A little unusual, it's about how/why I ended up working on circuit complexity.
youtube.com/live/0DrFB2Cp7tg…
(Skipping the ceremonial stuff that happened before the talk)
Ryan's hugely influential work using algorithms to prove lower bounds wins the 2024 Gödel Prize! Congrats @rrwilliams!!
Congratulations to Ryan @rrwilliams!!! eatcs.org/index.php/componen…
Great news! Also check out the quanta article quantamagazine.org/avi-wigde…
🏆 We're thrilled to announce the recipient of the 2023 #ACMTuringAward: Avi Wigderson! Wigderson is recognized for his foundational contributions to the theory of computation. Join us in celebrating his incredible achievements! Learn more here: bit.ly/4aGpbiM @the_IAS