Canonical event

Google DeepMind publishes Aletheia mathematics research agent results

On 11 February 2026 Google DeepMind published research discussing Aletheia, an iterative mathematics agent. Its supporting arXiv manuscript first appeared on 10 February and was subsequently revised; individual theorem claims require independent proof checks.