Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Henryk Michalewski | Lattice

Henryk Michalewski

Google DeepMind111

Google DeepMind

Papers on Lattice

1

Total citations

0

Topics

3

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

George Tsoukalas (1)Anton Kovsharov (1)Sergey Shirobokov (1)Anja Surina (1)

Papers (1)

May 21, 2026

DeepMind5d ago·also Google Research, Aarhus University

Advancing Mathematics Research with AI-Driven Formal Proof Search

AI can now autonomously solve open math problems, cracking 9 Erdős problems and 44 OEIS conjectures at a reasonable cost.

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +17

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents

Moritz Firsching (1)

Gergely Bérczi (1)

Francisco J. R. Ruiz (1)

Arun Suggala (1)