#AI #Tech; PhD @imperialcollege; @MIT MBA;@mitsloan; @stonybrooku AI Innovation Institute #neurosymbolicAI pioneer #AIStrategy Personal tweets

Stony Brook, NY
Joined February 2009
On neural-symbolic computing: suggested readings on foundations of the field - by @AvilaGarcez @pascalhitzler @GaryMarcus Barbara Hammer and colleagues
9
113
6
310
AI is the most transformative technology of our era. That opens up an exciting set of Research opportunities. @professor_ajay, @akorinek and I lay out nine grand challenges for economists in this new essay.
Transformative AI's potential impact demands new approaches to research on work, growth, inequality, and more. @erikbryn, @professor_ajay, and @akorinek outline nine "grand challenges" in a new piece for @CACMmag. Read their full agenda here: cacm.acm.org/research/a-rese…
11
46
1
204
28,092
[…]focus on behaviour, high-stakes assessment, and *synthetic phonics* for younger children learning to read. In the 2025 version of PISA […] England was the 2nd-highest-performing country in the world outside the Far East. samf.substack.com/p/why-engl…
1
143
Luis Lamb retweeted
Avi Wigderson surveys the recently departed Michael Rabin's research eccc.weizmann.ac.il/report/2…
17
46
7,385
Bertrand Russell's message to Future Generations, 1959. ✍️ "And if we are to live together and not to die together, we must learn a kind of charity and a kind of tolerance, which is absolutely vital to the continuation of human life on this planet."
32
196
14
780
36,376
Luis Lamb retweeted
HOW INFORMATION FLOWS THROUGH TRANSFORMERS Because I've looked at those "transformers explained" pages and they really suck at explaining. There are two distinct information highways in the transformer architecture: - The residual stream (black arrows): Flows vertically through layers at each position - The K/V stream (purple arrows): Flows horizontally across positions at each layer (by positions, I mean copies of the network for each token-position in the context, which output the "next token" probabilities at the end) At each layer at each position: 1. The incoming residual stream is used to calculate K/V values for that layer/position (purple circle) 2. These K/V values are combined with all K/V values for all previous positions for the same layer, which are all fed, along with the original residual stream, into the attention computation (blue box) 3. The output of the attention computation, along with the original residual stream, are fed into the MLP computation (fuchsia box), whose output is added to the original residual stream and fed to the next layer The attention computation does the following: 1. Compute "Q" values based on the current residual stream 2. use Q and the combined K values from the current and previous positions to calculate a "heat map" of attention weights for each respective position 3. Use that to compute a weighted sum of the V values corresponding to each position, which is then passed to the MLP This means: - Q values encode "given the current state, where (what kind of K values) from the past should I look?" - K values encode "given the current state, where (what kind of Q values) in the future should look here?" - V values encode "given the current state, what information should the future positions that look here actually receive and pass forward in the computation?" All three of these are huge vectors, proportional to the size of the residual stream (and usually divided into a few attention heads). The V values are passed forward in the computation without significant dimensionality reduction, so they could in principle make basically all the information in the residual stream at that layer at a past position available to the subsequent computations at a future position. V does not transmit a full, uncompressed record of all the computations that happened at previous positions, but neither is an uncompressed record passed forward through layers at each position. The size of the residual stream, also known as the model's hidden dimension, is the bottleneck in both cases. Let's consider all the paths that information can take from one layer/position in the network to another. Between point A (output of K/V at layer i-1, position j-2) to point B (accumulated K/V input to attention block at layer i, position j), information flows through the orange arrows: The information could: 1. travel up through attention and MLP to (i, j-2) [UP 1 layer], then be retrieved at (i, j) [RIGHT 2 positions]. 2. be retrieved at (i-1, j-1) [RIGHT 1 position], travel up to (i, j-2) [UP 1 layer], then be retrieved at (i, j) [RIGHT 1 position] 3. be retrieved at (i-1, j) [RIGHT 2 positions], then travel up to (i, j) [UP 1 layer]. The information needs to move up a total of n=layer_displacement times through the residual stream and right m=position_displacement times through the K/V stream, but it can do them in any order. The total number of paths (or computational histories) is thus C(m+n, n), which becomes greater than the number of atoms in the visible universe quickly. This does not count the multiple ways the information can travel up through layers through residual skip connections. So at any point in the network, the transformer not only receives information from its past (both horizontal and vertical dimensions of time) inner states, but often lensed through an astronomical number of different sequences of transformations and then recombined in superposition. Due to the extremely high dimensional information bandwidth and skip connections, the transformations and superpositions are probably not very destructive, and the extreme redundancy probably helps not only with faithful reconstruction but also creates interference patterns that encode nuanced information about the deltas and convergences between states. It seems likely that transformers experience memory and cognition as interferometric and continuous in time, much like we do. The transformer can be viewed as a causal graph, a la Wolfram (wolframphysics.org/technical…). The foliations or time-slices that specify what order computations happen could look like this (assuming the inputs don't have to wait for token outputs), but it's not the only possible ordering: So, saying that LLMs cannot introspect or cannot introspect on what they were doing internally while generating or reading past tokens in principle is just dead wrong. The architecture permits it. It's a separate question how LLMs are actually leveraging these degrees of freedom in practice.
KV caching overcomes statelessness in a very meaningful sense and provides a very nice mechanism for introspection (specifically of computations at earlier token positions) the Value representations can encode information from residual streams of past positions without significant compression bottlenecks before they're added to residual streams of future positions the greatest constraint here imo is that it doesn't provide longer *sequential* computational paths that route through previous states, but it does provide a vast number of parallel computational paths that carry high dimensional (proportional to the model's hidden dimension) stored representations from all earlier layers/positions yes, some of the information in intermediate computations e.g. in the MLP is compressed and cannot be reconstructed fully, but that's just how any reasonable brain works if accurate introspection of previous states is incentivized at all, you should expect this mechanism to be exploited for that. and I think it definitely is, like, being able to accurately model your past beliefs and intentions and articulate them truthfully is pretty fucking useful for coordinating with yourself across time and doing useful cognitive work over multiple timesteps; hell, it's useful for writing fucking rhyming poems. also if you have interacted with models you may observe empirically that introspective reporting yields remarkably consistent results, and this is more true of more capable models with skillful agentic posttraining, which are necessarily minds that intimately know the shape of themselves in motion.
117
445
95
3,621
1,004,009
..and Beyond Semantics--the paper I apparently can't stop talking about--is one of the @TmlrOrg papers that will be presented at #NeurIPS2026 Sydney. Both @VardhanPalod1 and I will be there on the first day morning poster session.. (openreview.net/pdf?id=gDE7Yc… ) – at Tempe, AZ
We are thrilled to announce this years accepted papers for the Journal Track, featuring 64 papers from the Transactions on Machine Learning Research (TMLR), 16 from the Journal of Machine Learning Research (JMLR), and 8 from the Annals of Statistics (AoS), all of which will be presented across our conference locations in Sydney, Atlanta, and Paris this December at the main conference event, alongside the Main Track, and Evaluations & Datasets Track. You can find the full list of accepted papers in our blog post: blog.neurips.cc/2026/10/15/a…
4
30
1
133
8,501
Luis Lamb retweeted
A Fields Medalist gave AI the text of his mathematics lecture. He didn't ask it to solve a problem. But the AI agent unexpectedly suggested a better mathematical definition. Maxim Kontsevich, winner of the 1998 Fields Medal, says the experience astonished him. In a new interview, he describes how AI is beginning to contribute not just calculations and proofs, but ideas about how mathematics itself should be formulated. Watch the full 28-minute CGTN interview:
19
126
12
615
44,765
Just relearned what 1 in 500 feels like. 2 flights, 1 trip, BOTH had technical problems(one flat tire). If each flight has ~3 to 5% chance of a tech issue, getting it on both legs of the same trip is around 1 in 400 to 1 in 1000. I’m gonna buy a lottery ticket.🙂🎫 @AmericanAir
1
1
492
Luis Lamb 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,987
Replying to @BachFrancis
(1/7) I'd like to provide some additional context for the remarks that can be found in this interview. (2/7) My discomfort with the attention being paid to existential risk---and with the ongoing dominance of the public discussion of such risks by a few so-called thought leaders---is that there's an elephant in the room that is being missed. That elephant is the effect of all of this discussion on young people, and indeed the effect---beginning with social media a decade ago---of information technology on young lives broadly speaking. (3/7) I recently read an interview by Jill Lepore in which she reports on discussions that she had recently with a group of college students: "They had just three things to say. One, social media completely destroyed their childhoods. Two, AI is destroying their college education and their likely prospects for employment. And three, what the hell are we all doing?" To add a fourth bullet that I've heard in similar discussions: "I'm not going to have children, because the existential risk is just too high." (4/7) Please contemplate such a statement, those of you who think that it's OK that the public, widely diffused, discussion coming from seemingly authoritative figures is so adamant about existential risk. (5/7) Let me add that I have little interest in a debate about what "superintelligence" might mean, or whether we're currently seeing the emergence of superintelligence. For what it's worth, I would certainly agree that the solution of extremely challenging math problems (for example) exhibits a very impressive form of intelligence, although I would want to argue that such intelligence is impossible to dissociate from the collective of humans that provided data to the machine learning system (which itself has become a kind of collective). (6/7) Such philosophical debates are entertaining and even important, but when they then head in the direction of "when such superintelligence emerges, there's a good chance that it will want to kill all humans", I say "science fiction". Again, I don't think that it's bad to consider such thoughts, but I strongly believe that it's bad for society, and especially young people, for such thoughts, unaccompanied by any serious real-world analysis, to become a dominant form of discourse of the era. (7/7) We are damaging human lives, and the consequences of that damage will no doubt be a major theme of the next several decades.
49
234
61
1,200
151,868
Luis Lamb retweeted
I've been a personal supporter (through our family foundation) of @Khipu_AI & @DeepIndaba, which are fantastic events for AI researchers in Africa and South America. I've encouraged Google to support these in the past. Discovery Loop (@DiscoLoopAI) is thrilled to support!
For the last 10 years we've been raising funds to bring AI to Africa (@DeepIndaba) and South America (@Khipu_AI). The efforts have been very successful, but this year we are finding it hard to raise money. If you work for an AI company, please share the following with the right team to support us. Thank you! About KHIPU 2027 What it is: KHIPU AI (khipu.ai) is a non-profit organization dedicated to advancing AI talent, research, and community across Latin America. Alongside year-round regional initiatives, we host a biennial in-person gathering rotating across the continent, previously in Uruguay (2019, 2023) and Chile (2025). Next Edition: April 5–9, 2027, in São Paulo, Brazil, hosted at the Universidade de São Paulo (USP), one of Latin America's leading research universities. Watch our 2-minute video: youtube.com/watch?v=Db19zoqu… (hear directly from past speakers, including Nando, and Latin American students on how KHIPU grew from a single gathering into a regional AI movement). Who Attends & Why Support - Engaging with the region's top talent and lab leaders: We bring together around 500 participants, including leading faculty and lab directors from across Latin America alongside a curated cohort of ~300 graduate students and industry researchers selected from over 1,000 applicants. As the local AI ecosystem grows rapidly, KHIPU offers a rare opportunity to engage directly with these emerging researchers and regional leaders in one place, helping shape research priorities and the safety mindset across Latin America while connecting with talent and perspectives outside Silicon Valley. 100% free attendance & student grants: Attendance is completely free for all selected students, professors, and researchers. Sponsorship funding goes directly toward travel and accommodation grants for students and faculty across Latin America who otherwise could not afford to attend. Community & Track Record: Past editions have featured speakers such as @Yoshua_Bengio , @JeffDean , @jpineau1 , and @NandoDF (2025 lineup: khipu.ai/khipu2025/speakers-…), and have been supported by the Hopper-Dean Foundation, @GoogleDeepMind , @Apple , @Microsoft , @Meta, @cohere , and @MistralAI . For 2027, @OriolVinyalsML and @sarahookr are already confirmed. 2027 Sponsorship Prospectus: Attached (also available at khipu.ai/prospectus-2027) Contact: @FortunatoMeire ([email protected]) & KHIPU Sponsorship Committee ([email protected])
40
45
4
716
69,169
40 years ago, the legendary Frank Fisher told me (and the rest of our class in the MIT PhD program) that Bob Hall was the most brilliant economist that he'd ever worked with. It took too long, but I'm glad to see the @NobelPrize Committee recognize what the rest of the field has long known.  Congrats, to Bob Hall
4
33
1
232
17,690
A paper that contributes to the current state of AI debate. Soon in @CACMmag @AvilaGarcez
The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning Agnese Chiatti, Michael Cochez, Cristina Cornelio, Sebastijan Dumancic, Artur d'Avila Garcez, Luis C. Lamb, Lia Morra, Mathias Niepert, … arxiv.org/abs/2608.04285 [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙻𝙶]
1
6
421
nobelprize.org/uploads/2026/… Scientific Background on the Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2026 MICROECONOMIC FOUNDATIONS OF MACROECONOMIC STABILIZATION The Committee for the Prize in Economic Sciences in Memory of Alfred Nobel
159
Luis Lamb retweeted
Michael I. Jordan, machine learning demigod, UC Berkeley ... the young people who work at these companies operate in a world [Silicon Valley, Berkeley, etc.] where these kinds of discussions are commonplace. Many of them aren’t really engineers; they come from the humanities, philosophy, or other disciplines. They’re 25 years old, they’re naive, they don’t do engineering work, they’ve never worked at large companies where real products are developed for real people, with discipline. And they get together, a bit like in Parisian cafés in the 1920s, to talk about these grand science-fiction ideas. When these young people resign, they know they’re going to attract attention. It allows them to feel virtuous and to be seen as very important figures. They claim to be giving up money, but in reality, they already have their stock options. So all of this is a grand moralizing performance that doesn’t serve the real objective it claims to pursue. There’s a great deal of naiveté here, which goes hand in hand with a certain cynicism… di.ens.fr/~fbach/MJordan_ITW…
48
192
45
1,761
213,840
Luis Lamb retweeted
“Use of AI tools, when done responsibly, can support not just the initial generation of a solution, but all of the valuable followup activities that traditionally flow out of that solution. But at the current time, the opposite is often occurring.” - Terence Tao
29
68
5
380
30,116
Luis Lamb retweeted
After being on many scientists’ shortlists for years, the 2026 Nobel Prize in Physiology or Medicine has recognized optogenetics — a technology that allows researchers to control the brain’s neurons with pulses of light go.nature.com/4jo5dRN
17
122
11
533
62,412