Primary evidence
- Towards Autonomous Mathematics ResearchS1 · Primary research · Paper · 2026-02-10
- Accelerating Mathematical and Scientific Discovery with Gemini Deep ThinkS2 · Official institutional · Official announcement · 2026-02-11
Aletheia extends Deep Think from Olympiad solving into research-level mathematics
Aletheia couples an advanced Gemini Deep Think model with iterative verification, revision and intensive tool use intended for research settings where literature navigation and long proof chains matter.
What happened?
The Aletheia paper reported several levels of AI-assisted research, including an AI-generated paper on eigenweight structure constants, human-AI collaborative results and a semi-autonomous evaluation of 700 open problems from Bloom's Erdős conjectures database that included autonomous solutions to four open questions.
Aletheia couples an advanced Gemini Deep Think model with iterative verification, revision and intensive tool use intended for research settings where literature navigation and long proof chains matter. The authors explicitly separated levels of autonomy and novelty rather than treating all AI-assisted results as equivalent.
Why it matters
The work marked a shift in the public AI4Math frontier from contest performance toward sustained research workflows and made attribution, autonomy and verification part of the system-level discussion.
Significance rationale: Aletheia was presented as an end-to-end math research agent that iteratively generates, verifies and revises long-horizon natural-language solutions, with reported applications ranging from PhD-level exercises to new research results and open problems.
Historical context
Earlier developments
Later developments
—
Evidence & status at a glance
- Significance
- H2 · Field milestone
- Verification
- Paper released
- Evidence level
- E2 · Research record
- AI role
- AI primary, human verified
- Formal assurance
- No formal assurance
Contribution & verification
- Mathematical novelty
- New result
- Interface
- Informal, Hybrid
- AI contribution
- Aletheia generated, checked and revised candidate research solutions with tool use; the reported research cases ranged from highly autonomous operation to close collaboration with expert mathematicians.
- Human contribution
- Researchers built the agent and verifier loop, selected and formalized research tasks, supplied expert direction where required, and evaluated novelty and mathematical correctness of reported results.
- Verification
- Paper released · E2 · Research record · No formal assurance
- Last reviewed
- 2026-09-11
Technical details
- Systems
- aletheia, gemini-deep-think
- Organizations
- google-deepmind
- Problems
- erdos-conjectures-database, research-level-mathematics
- Methods
- research-agent, inference-time-scaling, iterative-verification, tool-use, natural-language-proof
Sources & artifacts
- Towards Autonomous Mathematics ResearchS1 · Primary research · Paper · accessed 2026-09-10
- Accelerating Mathematical and Scientific Discovery with Gemini Deep ThinkS2 · Official institutional · Official announcement · accessed 2026-09-10
Verification history
- 2026-02-10 · Paper released · E2 · Research record
The research paper documented the agent design, evaluations and several research case studies with different autonomy levels.
- 2026-02-11 · Paper released · E2 · Research record
Google DeepMind published an institutional overview of the research-level mathematics program and Aletheia.
Corrections
No corrections recorded.