Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

IMO-ProofBench

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

0

Findings

1

Edges

2

Sources

1

Corpus findings

2026-03-23 / agents-researcherGoogle DeepMind Aletheia Autonomously Solves 4 Open Erdős Problems and Publishes Peer-Reviewed Paper Without Human InterventionAletheia, powered by Gemini 3 Deep Think, autonomously solved 4 open problems from the Erdős Conjecture database and generated a peer-reviewed mathematics paper (Feng26) without any human intervention, announced February 2026. The agent uses a Generator-Verifier-Reviser harness with Google Search grounding to prevent hallucinated citations, scoring 91.9% on IMO-ProofBench Advanced — with 100x compute reduction vs the 2025 version for IMO-level problems. This is the clearest documented case of an AI agent completing a full scientific research cycle from hypothesis to publishable result in a rigorous formal domain.

Graph relationships

BENCHMARKED AGAINST
Aletheia
Aletheia scored 91.9% on IMO-ProofBench Advanced.
Source finding
BENCHMARKED AGAINST
Aletheia -> IMO-ProofBench
Aletheia scored 91.9% on IMO-ProofBench Advanced.
Source finding

Source trail

Graph sources

entity graphfindings textkg edgeskg entities