Aletheia

A research agent that generates, checks and revises mathematical arguments in natural language.

• Developer / Organization: Google DeepMind; Tony Feng, Trieu H. Trinh and collaborators
• Category: Related research systems & hosted services
• Purpose: Pursue research-level mathematics in natural language.
• Key features: Generates, verifies and revises candidate solutions with literature-search tools; can report failure.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/ (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01