As of: 2026-10-10 23:43 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/p/2026-10-08-pushmeet-alphaproof-nexus-science-thread/

# Pushmeet Kohli thread: DeepMind and mathematics; AlphaProof Nexus paper appears in Science today

Pushmeet Kohli (@pushmeet), X, 2026-10-08.
Source: https://x.com/pushmeet/status/2108265638435119494

## Why it matters

Official announcement by DeepMind's VP of Research that the AlphaProof Nexus paper was published in Science (~35k views on the thread head at fetch time).

## Summary

A thread posted on 8 Oct 2026 (read through api.fxtwitter.com on 10 Oct). It recounts DeepMind's work with mathematicians: the 2021 Nature paper
with Geordie Williamson, Marc Lackenby and András Juhász, the IAS Princeton AI-for-Maths workshops (2022, 2025), AlphaEvolve
and AlphaProof, and the Formal Conjectures repository. It credits Kevin Buzzard and the Mathlib community. Its last post
(https://x.com/pushmeet/status/2108265646890815730) says: "Our technical paper on AlphaProof Nexus appears in Science today,
led by my colleagues @swarat, @gtsoukal, @SergeyShir994, @antonkovsharov". It also names Gergely Bérczi of Aarhus
University as a collaborator. At fetch time the thread head had ~35k views and 399 likes.

## Archived text

> I have always believed that advancing mathematics is about empowering mathematicians.
> 
> From our earliest days at @GoogleDeepMind, our focus has been on deep collaboration with the mathematical community, pioneering new tools alongside one another to push the boundaries of what’s possible.

Archived 2026-10-10 via fxtwitter (unofficial).
Counts: 35,000 views, 399 likes, 22 reposts, 15 replies (at fetch time)

## Cited in

- 2026-10-08: [Google DeepMind's AlphaProof Nexus paper published in Science](https://postcutoff.com/e/2026-10-08-alphaproof-nexus-science-paper/)

## People in this post

- [Kevin Buzzard](https://postcutoff.com/person/kevin-buzzard/), Professor of pure mathematics, Imperial College London