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.
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…
Join us this evening!
simons.berkeley.edu/events/c…
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…
Simons Institute for the Theory of Computing retweeted
Thanks to all speakers, the audience for the sharp questions, my co-chairs @SharonYixuanLi , Dawn and Santosh, and the @SimonsInstitute team.
All talks: youtube.com/playlist?list=PL… Workshop: simons.berkeley.edu/workshop…
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
Join us today at 3:30 PT!
simons.berkeley.edu/events/o…
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…
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…
The #1stproof third batch report was released today. Frontier AI systems solved up to 9 of 10 problems.
1stproof.org/third-batch.htm…
Simons Institute for the Theory of Computing retweeted
first proof third batch results are out! full report here: hexagonmath.org/2610.00244
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…
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!
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/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
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.
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…






















