Professor, https://xitter.cf/t.co/HSHOQfSuMi. Co-director, https://xitter.cf/t.co/RbcEQzRCQ8. Author, https://xitter.cf/t.co/Ki6ST4qXU6. ML, data science, AI, and CS theory researcher.

University of Illinois Chicago
Joined May 2009
You can now pre-order my book, "Making Sense of Modern Science," on Amazon! amazon.com/Making-Sense-Mode… If you decide to buy it, not only can you learn about the greatest scientific ideas of the last century, but you can also add a very beautiful book to your collection.
4
25
11,270
My #ALT2027 paper was just desk rejected for a rather minor deviation from the submission instructions (according to my corresponding coauthor). As an author I’m obviously a little sad, but as ALT’s SC chair also proud to report that you cannot accuse our conference of cronyism!
1
1
21
1,967
I am inundated with emails from people who say they've read my book and love it so much that they want to "partner" with me to help promote it or something. The only problem is that my book isn't out yet. Is there no industry that's safe from relentless spammers and scammers?
14
618
Lev Reyzin retweeted
Mike was my colleague at Berkeley, and he's been fairly skeptical of deep learning's trajectory for years. Most scientists are skeptics, and it can take a big shock to get someone to consider a possibility that goes against the anchoring effect coded in our DNA. I too was somewhat of a skeptic until ~6 months ago, and people ask me all the time why I joined Anthropic. It started in April, when a friend I've known for 20 yrs messaged me saying he'd be in the Bay Area in a week, and he suggested we meet up. I invited him to my house for dinner, and he told me he had just joined Anthropic. He said the models were becoming increasingly more capable, and he believed both that they'd soon be smarter than him and also that all intellectual work would be highly devalued in the near future, and lastly that society was not at all ready for what's coming. I'd of course heard claims similar to this before, but not from a friend I'd known for this long, and who I trusted, at my dining room table. It was the initial shock needed to destabilize my own anchoring. Also, I've been fortunate to work with and/or mentor many smart people in my life (e.g. Fields medalists, a 4x Putnam Fellow, IOI first place winners, etc.), so I feel pretty calibrated in recognizing very smart people, and this was someone who is definitely very smart and with impressive such credentials. So, it was hard to ignore this friend saying the models would be smarter than even him in particular. After that dinner, I decided to do an informal survey, calling and meeting up with a lot of my friends who now work on improving model capabilities at these frontier labs. They all agreed with that first friend. These were all people I'd known 10, 15, 20 years, who mentored me, or I mentored them, or we met professionally in academia. These are people I trust, and their beliefs on this topic were consistent. I then spent a whole lot of time understanding the missions of different companies, and talking to current and former employees and people in leadership. I read Dario's (long) essays and watched videos on YouTube of company leaders being interviewed. Anthropic's stated mission "to ensure that the world safely makes the transition through transformative AI" felt like exactly the right guiding principle to handle such a society-disrupting technology, and everyone I spoke to at the company was very aligned with this mission. It's easily the most mission-focused place I've ever been at, and everyone takes the work extremely seriously and with a profound sense of responsibility. And now here I am. And being on the inside, the pace of progress has surprised me more than I first imagined. The moment that pure mathematicians are in, to me, is just a microcosm of what I predict a much larger of society will be grappling with in the not too distant future, and I really hope our leaders and the general public internalize sooner than later just how significant a moment we're in.
Michael Jordan (the machine learning one): "Superintelligence is Science Fiction" 🔥🔥🔥 di.ens.fr/~fbach/MJordan_ITW…
72
209
37
1,971
327,222
Lev Reyzin retweeted
Replying to @joelwatsonfish
NSF disallows reviewers posting proposals to LLMs, but of course people won’t listen. NSF should provide access to an internal LLM or something similar at least.
4
2
117
10,036
Professional programmers will outlast professional mathematicians because code behavior is undecidable whereas mathematical proofs are efficiently checkable.
7
21
2,809
Lev Reyzin retweeted
Replying to @aminkarbasi
I remember a chess grandmaster complaining in some interview that he was bored at a laundromat, and he noticed that the washer had a chess app on its menu screen, so he played it and lost. Washing machines can already beat grandmasters at chess. What more do we want from them! 😂
2
1
5
354
Another common misconception is that lawyers will eventually get involved and sue Frontier Labs, forcing them to radically change their practices or even go bankrupt. But that's not going to happen—you cannot stop a tidal wave with a lawsuit!
5
9
1,991
The people who think that LLMs are producing all these proofs by stealing the work of mathematicians who are using their services are deluding themselves. The sooner we accept how powerful this technology is, the better able we will be to deal with its consequences rationally.
45
28
5
491
12,262
Apparently, my coauthor pointed out that the OpenAI theorem drop included something we were working on (with AI help, of course). The OpenAI result has better bounds than we achieved, but it's also unreadable. Any advice on what I'm supposed to do now?
70
4
9
317
51,434
I love much of Pinker's work, but his popular writing peaked at "The Language Instinct." Each next book was noticeably worse, and "Rationality" was barely readable. It's no surprise that his latest arguments about AI are sloppy, as @slatestarcodex so clearly demonstrated.
1
5
865
This aged all too well.
Prove ye theorems while ye may, AIs are still in training; And this same claim that's open today Tomorrow will be falling.
1
9
835
I continue to feel very lucky that my department has just one (optional) faculty meeting per year, and it's rare for anyone other than the department head to actually talk.
Sitting in a math faculty meeting where the agenda (set two weeks ago) is "let's talk about math and AI". Lol. LMAO even.
6
995
My dream had always been to prove beautiful theorems as the AI agents unloaded my dishwasher. Well, it went the wrong way... 😂
40
311
38
2,873
135,210
Today we remember the innocent lives murdered by Hamas terrorists on October 7, 2023, and honor the heroes who risked everything to save others. We remember. We stand with Israel. 🇺🇸🇮🇱
504
2,956
167
11,352
148,176
It’s becoming clear that if research mathematicians will continue to have jobs at all in the future, they will be as curators of knowledge, not producers of it, like English professors and many others in the humanities.
28
11
6
210
20,460
I know you may have heard by now, but the UGC is apparently proven!
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
3
1
31
2,869
All that is thought should not be said All that is said should not be written All that is written should not be published And all that is published should not be read. ~Kotzker Rebbe
22
14
1
107
5,225