AI professor. Director, @FOCAL_lab @CarnegieMellon. Head of Technical AI Engagement, @UniofOxford @EthicsInAI. Author, "Moral AI - And How We Get There."
Joined June 2009
- Tweets 2,187
- Following 1,212
- Followers 4,511
- Likes 2,486
369 Photos and videos
Pinned Tweet
18 Oct 2025
There is now a paperback version of our Moral AI book!
1
17
2,153
One of my open math problems apparently got resolved by ChatGPT 5.5 Pro (Ryan O'Donnell prompted it better than I did!), though the proof was so hard for me to read that it seemed easier to just prove it myself. More thoughts on implications for math here: aifails.substack.com/p/even-…
10
20
146
16,265
@DominikPeters also a mention of your post x.com/DominikPeters/status/2…
I think people underestimate the effect GPT-5.x is already having on research in mathematical fields. 5.5 Pro has been proving many theorems for me, but I don’t talk about it much because I want to publish those results with my name on it and that’ll take time to write up.
1
7
1,973
Jun 12
If you can "stomach" it, I recommend following the link for the extended discussion on the topology of human beings that followed.
331
Vincent Conitzer retweeted
Together with @schmidtsciences, @GoogleDeepMind, @ARIA_research, and supported by @Googleorg, we’re announcing a new $10m fund to support the foundational scientific research needed to understand, evaluate, and control risks emerging from large-scale ecosystems of interacting AI agents, deployed by multiple actors.
2
10
38
2,044
Some helpful explanations and instructions in case there's a bird in your city.
aifails.substack.com/p/a-bir…
1
150
Congratulations Tuomas, and Mohammad, Bobby, and David! And while the award wasn't for automated mechanism design in general, still proud that that played a bit of a role :-) @AcmSIGecom
Tuomas Sandholm received the ACM SIGecom Test of Time Award for research that combined automated mechanism design with techniques from optimal stopping theory to develop online auction mechanisms that can make near-optimal decisions under uncertainty.
cs.cmu.edu/news/2026/sandhol…
4
404
"What if I took a physics test in French and a French test in physics?" Apparently the French language is not compatible with physics. aifails.substack.com/p/physi…
2
2
4
916
Vincent Conitzer retweeted
If you’d like to master the foundations of cooperative AI and gain confidence to work in the field, apply for our next ‘Introduction to Cooperative AI’ course. Running online from 6 July - 28 August 2026. Link below.
1
12
22
1,591
I tried ChatGPT 5.5 Pro on two open (cs-econ) problems I have; I couldn't get it to solve them but at least it didn't pretend it had & seemed to make some progress (after initially struggling with getting the PDF...), and it was an interesting experience:
aifails.substack.com/p/more-…
1
4
339