Ainesh Bakshi
@aineshbakshi.bsky.social
Assistant Professor at NYU Courant Institute School | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
Reposted by Ainesh Bakshi
Wow! Yuansi Chen resolves 1 of the 2 remaining $1000 Talagrand problems (michel.talagrand.net/prizes/prize... ):
If you take any f : {-1,+1}ⁿ → ℝ⁺ and apply the noise operator T_{.99}, the resulting function g = T_{.99} f satisfies a better-than-Markov inequality. That is, Pr[g > t E[g]] < o(1/t).
If you take any f : {-1,+1}ⁿ → ℝ⁺ and apply the noise operator T_{.99}, the resulting function g = T_{.99} f satisfies a better-than-Markov inequality. That is, Pr[g > t E[g]] < o(1/t).
November 25, 2025 at 4:16 PM
Wow! Yuansi Chen resolves 1 of the 2 remaining $1000 Talagrand problems (michel.talagrand.net/prizes/prize... ):
If you take any f : {-1,+1}ⁿ → ℝ⁺ and apply the noise operator T_{.99}, the resulting function g = T_{.99} f satisfies a better-than-Markov inequality. That is, Pr[g > t E[g]] < o(1/t).
If you take any f : {-1,+1}ⁿ → ℝ⁺ and apply the noise operator T_{.99}, the resulting function g = T_{.99} f satisfies a better-than-Markov inequality. That is, Pr[g > t E[g]] < o(1/t).
NYU Courant Institute School postdoc applications are now open! Alongside our remarkably strong presence in Theoretical Computer Science, we’re expanding in Quantum Information and Quantum Cryptography!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Wanna do a postdoc at NYU? We have postings for Faculty Fellows at both @nyudatascience.bsky.social and @nyucourant.bsky.social CS in the new School for Mathematics, Computing, and Data Science!
Come work with the best!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Come work with the best!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
November 21, 2025 at 10:03 PM
NYU Courant Institute School postdoc applications are now open! Alongside our remarkably strong presence in Theoretical Computer Science, we’re expanding in Quantum Information and Quantum Cryptography!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Reposted by Ainesh Bakshi
If you are looking for a postdoc, there's a lot of great algorithms/theory research (and in all parts of CS) happening at NYU!
Come work with the best, as @gautamkamath.com says!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Come work with the best, as @gautamkamath.com says!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
November 21, 2025 at 5:17 PM
If you are looking for a postdoc, there's a lot of great algorithms/theory research (and in all parts of CS) happening at NYU!
Come work with the best, as @gautamkamath.com says!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
Come work with the best, as @gautamkamath.com says!
Courant CS: apply.interfolio.com/175537
CDS: apply.interfolio.com/174686
AI-assisted math without the hype may yet be possible.
This paper is a delight along multiple axes. It describes an Erdős problem that was solved 30 years before Erdős declared it open. arxiv.org/abs/2510.19804
Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof
We resolve a $1000 Erdős prize problem, complete with formal verification generated by a large language model.
In over a dozen papers, beginning in 1976 and spanning two decades, Paul Erdős repeated...
arxiv.org
October 26, 2025 at 6:40 PM
AI-assisted math without the hype may yet be possible.
Reposted by Ainesh Bakshi
ICYMI: Symposium on Theory of Computing #STOC2026 will be in Salt Lake City, June 22–26. The submission deadline is ⏰ Tuesday, November 4, 2025 (4:59pm EST)
Website: acm-stoc.org/stoc2026/
Call for Papers: acm-stoc.org/stoc2026/STO...
Website: acm-stoc.org/stoc2026/
Call for Papers: acm-stoc.org/stoc2026/STO...
STOC 2026 - 58th ACM Symposium on Theory of Computing
acm-stoc.org
October 17, 2025 at 8:54 PM
ICYMI: Symposium on Theory of Computing #STOC2026 will be in Salt Lake City, June 22–26. The submission deadline is ⏰ Tuesday, November 4, 2025 (4:59pm EST)
Website: acm-stoc.org/stoc2026/
Call for Papers: acm-stoc.org/stoc2026/STO...
Website: acm-stoc.org/stoc2026/
Call for Papers: acm-stoc.org/stoc2026/STO...
Reposted by Ainesh Bakshi
The new call for Motwani postdocs application is now open!
academicjobsonline.org/ajo/jobs/30865
BTW-
Not quite ready for a postdoc? We updated the TCS Masters programs spreadsheet:
www.cs.princeton.edu/~smattw/mast...
Any career stage and in the (SF) Bay Area?
Save the date for TOCA-SV on 11/7!
academicjobsonline.org/ajo/jobs/30865
BTW-
Not quite ready for a postdoc? We updated the TCS Masters programs spreadsheet:
www.cs.princeton.edu/~smattw/mast...
Any career stage and in the (SF) Bay Area?
Save the date for TOCA-SV on 11/7!
Stanford University, Computer Science/Theory Lab/Stanford University
Job #AJO30865, Postdoc in Theoretical Computer Science at Stanford, Computer Science/Theory Lab/Stanford University, Stanford University, Stanford, California, US
academicjobsonline.org
October 13, 2025 at 8:42 PM
The new call for Motwani postdocs application is now open!
academicjobsonline.org/ajo/jobs/30865
BTW-
Not quite ready for a postdoc? We updated the TCS Masters programs spreadsheet:
www.cs.princeton.edu/~smattw/mast...
Any career stage and in the (SF) Bay Area?
Save the date for TOCA-SV on 11/7!
academicjobsonline.org/ajo/jobs/30865
BTW-
Not quite ready for a postdoc? We updated the TCS Masters programs spreadsheet:
www.cs.princeton.edu/~smattw/mast...
Any career stage and in the (SF) Bay Area?
Save the date for TOCA-SV on 11/7!
Reposted by Ainesh Bakshi
October 11, 2025 at 1:07 PM
Another one bites the dust. Fond memories of my summer at IBM, where I started thinking about quantum information. I also managed to dig up a list of all the theorists who passed through the research lab: web.archive.org/web/20221004...
July 6, 2025 at 12:51 AM
Another one bites the dust. Fond memories of my summer at IBM, where I started thinking about quantum information. I also managed to dig up a list of all the theorists who passed through the research lab: web.archive.org/web/20221004...
I am starting at NYU this Fall! Although it is inconveniently located, if you find yourself in New York, come say hi. Psyched to be part of such a stacked theory group!!
It's a thrill to announce names of the amazing set of theory people joining NYU CS+CSE this year: @aineshbakshi.bsky.social, Allen Liu, @fermima.bsky.social, Sanjeev Khanna, Tony Metger, and Juan Perdomo.
@nyucourant.bsky.social
@nyutandon.bsky.social
@nyucourant.bsky.social
@nyutandon.bsky.social
June 5, 2025 at 2:23 AM
I am starting at NYU this Fall! Although it is inconveniently located, if you find yourself in New York, come say hi. Psyched to be part of such a stacked theory group!!