Pinned Tweet
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.
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!
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?
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…
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.
Professional programmers will outlast professional mathematicians because code behavior is undecidable whereas mathematical proofs are efficiently checkable.
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! 😂
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!
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.
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?
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.
Lev Reyzin retweeted
My dream had always been to prove beautiful theorems as the AI agents unloaded my dishwasher. Well, it went the wrong way... 😂
Lev Reyzin retweeted
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. 🇺🇸🇮🇱
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.
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










