arxiv.org/abs/2604.15267
Who's Who of AI
Vincent Conitzer
AI professor. Director, Foundations of Cooperative AI Lab at Carnegie Mellon. Head of Technical AI Engagement, Institute for Ethics in AI (Oxford). Author, "Moral AI - And How We Get There."
https://www.cs.cmu.edu/~conitzer/
What they're sharing
CoopEval: Benchmarking Cooperation-Sustaining Mechanisms and LLM Agents in Social Dilemmas arxiv.org
Even more on AI and math: solution to one of my open problems and implications aifails.substack.com
AI Center Seminar - AI Fundamentals series - Emanuel Tewolde - "Benchmarking Cooperation-Sustaining Mechanisms and LLM Agents in Social Dilemmas" - EPFL memento.epfl.ch
lion vs. chatbot aifails.substack.com
More on AI and math: Two open problems and my experience with them aifails.substack.com
aifails.substack.com
aifails.substack.com
Articles & links
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…
FOCAL member Emanuel Tewolde is presenting his CoopEval work at EPFL on Monday (14:30) and it will be on zoom! (paper link in comment) memento.epfl.ch/event/ai-cen...
QED aifails.substack.com/p/lion-vs-ch...
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, and seemed to make some progress (after initially struggling with getting the PDF...), and it was an interesting experience: aifails.substack.c…
On the occasion of recent breakthroughs, a longer post on LLMs for math! (Perhaps unfair to attach this old screenshot, but still funny.) aifails.substack.com/p/ai-for-math
A different type of example -- ChatGPT trying to rationalize, in moral terms, hard rules (about creating images of real people) that it has been given. Should it do that? Link to full post: aifails.substack.com/p/moral-rati...
Their network
In Vincent Conitzer's orbit
Center = Vincent Conitzer. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.