The world's leading venue for collaborative research in theoretical computer science. Follow us at https://xitter.cf/t.co/KvcuGI7WM0.

Berkeley, CA
Joined January 2018
1/3 AI's Grand Unification Problem is about combining "fluidity" (the ability to generate language, images and video) with "causal understanding," said @Columbia's Elias Bareinboim at the Simons Institute workshop on Trustworthy AI: From Hallucinations to Reliable Autonomy.
1
1
3
347
2/3 "The OpenAIs, Anthropics and Googles of the world are trying to optimize to get more fluidity," said Bareinboim. But work on causal understanding moves along an orthogonal axis. "There's not much fluidity here, it's a mathematical language." Video: simons.berkeley.edu/talks/el…
1
1
177
3/3 How can we build systems that have both fluidity and a causal understanding of the world? Why is this not easy? "Because there is the language of causality and the language of LLMs," said Bareinboim. "At the moment they don't fit...This is the generational challenge here."
2
158
In the #1stproof third batch, frontier AI models solved up to 9 of 10 problems, while an open-weight model solved none. Read the full story: 1stproof.org/third-batch-pre…
2
6
667
Simons Institute for the Theory of Computing retweeted
How can the math community forge the best path forward in the AI age? We're committing $15M to workshops and initiatives — plus free AI computing resources for foundation-supported researchers — through new partnerships with @AnthropicAI and @OpenAI: bit.ly/4zpfIbW #math #science #AI
56
131
42
797
808,551
Congratulations to Moni Naor on winning the Knuth Prize! sigact.org/Prizes/knuth/cita… Watch our Polylogue interview with him by @science_eye last year. youtu.be/ElKnOs6-Gfg?si=pC0r…
3
2
38
2,424
Simons Institute for the Theory of Computing retweeted
Moni Naor wins the 2026 Knuth Prize, the highest career award in theoretical computer science. sigact.org/Prizes/knuth/cita…
1
23
2
102
8,945
Simons Institute for the Theory of Computing retweeted
first proof third batch results are out! full report here: hexagonmath.org/2610.00244
9
22
4
148
14,890
Simons Institute for the Theory of Computing retweeted
We all know that AI is a highly divisive issue. A working group convened at the Simons Institute earlier this month, to formulate concrete action items for TCS academia to take in response to AI. Remarkably, despite the wide range of opinions, participants were able to arrive at broad consensus on the list of recommendations here: simons.berkeley.edu/AITCSrep…. Many apply more broadly to mathematics, and beyond. This document is NOT a declaration or essay. It is a list of concrete proposals, fleshed out all the way from motivation to implementation. Its purpose is to provide a common reference point and shared baseline for the community to discuss and enact change. The actions are intentionally designated to be taken in the short term (specifically, this academic year); they are not meant to represent a stable vision of the future. You do not have to like them; you just have to like them MORE than what will happen if nobody takes action. Not everybody at the workshop agreed with every action, but they ultimately came together through discussion and compromise. For transparency, I was involved in this event in a purely organizational capacity. I did not come up with any of these actions, but I recognize their importance and I will support them however I can. I hope you do too.
In September, we hosted a working group to think about how the TCS community should respond to AI progress. Their report, released yesterday, highlights 12 near-term actions that received broad support among the participants. simons.berkeley.edu/news-pub…
2
13
1
50
14,709
Simons Institute for the Theory of Computing retweeted
Here are some of my main takeaways from the exciting #Cryptography reunion workshop I attended as a Science Communicator in Residence @SimonsInstitute this summer - scieye.wordpress.com/2026/09… Many thanks to the organizers, Elette Boyle, Yuval Ishai, Abhishek Jain & Daniel Wichs!
1
4
403
In September, we hosted a working group to think about how the TCS community should respond to AI progress. Their report, released yesterday, highlights 12 near-term actions that received broad support among the participants. simons.berkeley.edu/news-pub…
1
21
4
60
23,132
We hope to do this again soon, and to involve more members of the TCS community!
1
5
1,220
1/4 Are diffusion language models ready for the real world? Not quite. Today's diffusion language models are missing some key ingredients, said @volokuleshov of @Cornell, at the Simons Institute workshop on Diffusion Generative Modeling: Progress and Next Steps
1
2
8
1,470
3/4 Block diffusion addresses this limitation. "You'd run diffusion over blocks of tokens in parallel and generate the following block of tokens, using a fixed length diffusion block, conditioned on the [generated] tokens," said @volokuleshov of @Cornell at the Simons Institute.
1
342
4/4 "This allows you to interpolate between auto-regression and diffusion," said @volokuleshov of @Cornell at the Simons Institute workshop on Diffusion Generative Modeling: Progress and Next Steps. Video: simons.berkeley.edu/talks/vo…
223