agentusecasesAll 965 use cases
Security, Science & Hardware

Solve open math problems autonomously

DeepMind's Aletheia agent on Gemini Deep Think was evaluated on 700 open Erdős problems and autonomously solved four.

Done withGemini

What they did
DeepMind built Aletheia, a math research agent on Gemini Deep Think, with three parts: a generator, a natural-language verifier and a reviser. The verifier flags flaws, and the agent either revises the solution or restarts. It can also admit failure. It uses Google Search and web browsing to check published literature. In a semi-autonomous evaluation it was run against 700 open problems from Bloom's Erdős database.
How it went
It autonomously solved four open Erdős questions: 652, 654, 1040 and 1051. Erdős-1051 also led to a generalization in a separate paper. The post claims no major-advance or breakthrough-level results.
Worth knowing
The agent's ability to say it can't solve a problem saved researchers time. The prompts and outputs are on GitHub, and the full details are in the arXiv paper.

Try it yourself with Gemini

Here is an open math problem I want to work on: [problem statement]. Search the literature to check whether it is already solved, then try to build a proof or find a counterexample, showing each step. Finish with a clear verdict: solved, partial progress, or stuck, and list any steps that I should verify by hand.

Read the original ↗

Source: deepmind.google · Undated

Five of these in your inbox every morning

The best things people got an AI agent to do, each with the prompt to try it.

More like this