A special edition covering three Google DeepMind outputs in four days: an autonomous mathematics research system, a theoretical framework connecting simplicity to optimization, and a commercial music generation model. Together, they illustrate the extraordinary range of a single lab operating across pure mathematics, algorithmic information theory, and creative AI.

Why it matters. "Towards Autonomous Mathematics Research" introduces Aletheia, a system built on Gemini Deep Think that doesn't just solve math problems — it conducts mathematical research. Aletheia achieves 95.1% on IMO-ProofBench Advanced (up from 65.7% in July 2025), autonomously solved four open problems from Erdős's collection of 700 unsolved conjectures, and generated a complete research paper (Feng2026) on eigenweights in arithmetic geometry with no human intervention.

Google DeepMind and collaborators. The paper is on arXiv (2602.10177) with an HTML version. The author list spans Google DeepMind, Caltech, UC Berkeley, Brown University, and other institutions. The system uses Gemini Deep Think with an agentic framework that can query mathematical databases, run computations in Lean and SageMath, and evaluate whether its own results are interesting.

Key Researchers. Demis Hassabis (CEO of Google DeepMind, Nobel Laureate for AlphaFold), Quoc V. Le (co-creator of sequence-to-sequence learning), Thang Luong (attention mechanisms pioneer), and Sergei Gukov (Caltech mathematician known for the Gukov-Vafa-Witten superpotential and work connecting topology to quantum field theory). The paper proposes a taxonomy of "Autonomous Mathematics Research Levels" modeled on SAE levels for self-driving cars, claiming Aletheia operates at Level 3–4.

Why it matters. Published in the journal Entropy, this paper by Kamal Dingle and Marcus Hutter makes three theoretical claims: optimal solutions to combinatorial problems tend to have low Kolmogorov complexity; sampling by algorithmic probability may be an effective optimization strategy; and coincidences in extremal values across objectives are more likely than chance because simple solutions cluster together. The implication: Pareto-optimal solutions across multiple objectives may be more findable than worst-case analysis predicts.

The Researchers. Marcus Hutter is the creator of AIXI, the theoretical framework for universal artificial intelligence, and a Senior Researcher at Google DeepMind / Professor at Australian National University. He is arguably the world's foremost expert on the computational implications of Kolmogorov complexity. Kamal Dingle is an Associate Professor at Gulf University for Science and Technology working on algorithmic information theory and simplicity bias. Their prior work includes foundational results on simplicity bias in input-output maps.

Why it matters. On February 18, 2026, DeepMind released Lyria 3 — a music generation model integrated into the Gemini app that generates 30-second tracks with vocals in eight languages (English, Spanish, French, German, Italian, Portuguese, Japanese, Korean) from text, image, or video prompts. No research paper was published — this is a product launch, signaling that DeepMind views music AI as a product line, not a research curiosity.

The competitive landscape. Lyria 3 joins an increasingly crowded field. Suno and Udio lead the commercial space, while open-source has arrived with HeartMuLa — a family of Apache 2.0 licensed music foundation models (3B parameters) that already match or exceed closed-source offerings on musicality and controllability. HeartMuLa generates full-length songs rather than 30-second clips, and its unreleased 7B model reportedly matches Suno. Lyria 3's moat is distribution (embedded in Google's ecosystem), not technology. Google embeds SynthID watermarks in all generated audio for provenance tracking.

Daily Tech Feed: From the Labs is available on Apple Podcasts, Spotify, and wherever fine podcasts are distributed. Visit us at pod.c457.org for all our shows. New episodes daily.