OpenAI just announced that ChatGPT has disproved a conjecture about one of Erdos's most famous problems: the unit distance problem. openai.com/index/model-... This problem is personal to me: I spent time during my Ph.D mulling over it, and it hooked me into computational geome…
Who's Who of AI
Suresh Venkatasubramanian
Director of the Center for Tech Responsibility at Brown
Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
What they're sharing
An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI openai.com
cdn.openai.com
naml.us
View on Bluesky →
Articles & links
It's really impressive that an AI system has provided a proof for it. For more on the significance of the result and some interpretation of the proof technique, check out the companion article. cdn.openai.com/pdf/74c24085... 10/n,n=10
Suresh Venkatasubramanian reposted
A bittersweet announcement! For family reasons, I will be leaving AISI soon to move back to the Bay Area. I will be starting a new nonprofit alignment research org (more to come). I will miss this place! Here are some reflections about my time at AISI. 🧵❤️| naml.us/post/reflec…