MIRI Blog

The Erdős Proof and AI Capabilities

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 […] The post The Erdős Proof and AI Capabilities appeared first on Machine Intelligence Research Institute.

MIRI Blog

Lire

Summary: An International Agreement to Prevent the Premature Creation of Artificial Superintelligence

If anyone, anywhere builds a superhuman artificial intelligence using present methods, the most likely outcome is catastrophe. There have accordingly been widespread calls for an international agreement prohibiting the development of superintelligence. In November 2025, MIRI’s Technical Governance Team published an example of one such agreement. This post is an informal and very abbreviated summary […] The post Summary: An International Agreement to Prevent the Premature Creation of Artificial…

MIRI Blog

Lire

Summary: AI Governance to Avoid Extinction

With AI capabilities rapidly increasing, humans appear close to developing AI systems that are better than human experts across all domains. This raises a series of questions about how the world will—and should—respond. In the research paper AI Governance to Avoid Extinction: The Strategic Landscape and Actionable Research Questions, originally published in May 2025, MIRI’s […] The post Summary: AI Governance to Avoid Extinction appeared first on Machine Intelligence Research Institute.

MIRI Blog

Lire

Promising Signals on AI Governance from China

View the official memo here. China has consistently signaled a willingness to engage on global AI governance since at least 2017. This memo compiles key statements from the Chinese government and prominent figures demonstrating their desire to coordinate on the problem of AI. Chinese Vice Premier Ding Xuexiang, at the 2025 World Economic Forum, said: […] The post Promising Signals on AI Governance from China appeared first on Machine Intelligence Research Institute.

MIRI Blog

Lire

The AI Doc: Your Questions Answered

So you’ve just seen The AI Doc: Or How I Became an Apocaloptimist, and you suddenly have questions, lots of them. The 104-minute documentary (currently in theaters) takes viewers on a fast-paced tour through the many dimensions of the AI problem, featuring interviews from a wide range of experts. The documentary is a great place […] The post The AI Doc: Your Questions Answered appeared first on Machine Intelligence Research Institute.

MIRI Blog

Lire

MIRI Newsletter #125

The AI Doc: Buy tickets and spread the word! On Thursday, March 26th, a major new AI documentary is coming out: The AI Doc: Or How I Became an Apocaloptimist. Tickets are on sale now. The movie is excellent, and we generally believe it belongs in the same tier as If Anyone Builds It, Everyone […] The post MIRI Newsletter #125 appeared first on Machine Intelligence Research Institute.

MIRI Blog

Lire

Summary: Mechanisms to Verify International Agreements about AI Development

If world leaders agree to halt or limit AI development, they will need to verify that other nations are keeping their commitments. To this end, it helps to know where AI chips are, how they’re used, and what the AIs trained on them can do. In this post, we informally summarize “Mechanisms to Verify International […] The post Summary: Mechanisms to Verify International Agreements about AI Development appeared first on Machine Intelligence Research Institute.

MIRI Blog

Lire