Pushmeet Kohli thread: DeepMind and mathematics; AlphaProof Nexus paper appears in Science today
Pushmeet Kohli @pushmeetX
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.
Cited in
People in this post
Kevin Buzzard, Professor of pure mathematics, Imperial College London