AI SAFETY & ETHICS
The Erdős Proof and AI Capabilities
MIRI (Machine Intelligence Research Institute)
•
View the official memo here. An internal model at OpenAI has autonomously disproved a central conjecture in discrete geometry, a mathematical field with applications in cryptography, wireless device communication, and medical imaging. The proof relates to a famous question posed by Paul Erdős in 1946. It has been verified by prominent mathematicians in a companion