Ainesh Bakshi
@aineshbakshi.bsky.social
Assistant Professor at NYU | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
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!!