DeepMind's AlphaProof combines a language model with AlphaZero-style reinforcement learning to produce fully machine-verifiable mathematical proofs — achieving silver-medal level at the 2024 International Mathematical Olympiad.
AlphaFold's protein structure predictions earned the 2024 Nobel Prize in Chemistry. Here's what the MSA + Transformer architecture actually does and why it matters.
AlphaFold solved the protein folding problem in 2020 at near-experimental accuracy, earning Demis Hassabis and John Jumper the 2024 Nobel Prize in Chemistry. Its database now contains 200M+ protein structures, actively accelerating drug development and materials science.
Hassabis's preference for 'hard questions' isn't a personality quirk — it's a research strategy: choose problems that unlock large amounts of downstream value when solved, not problems easy enough to publish quickly. This strategy is the core reason DeepMind keeps breaking through at the scientific frontier.
DeepMind's core strategy under Demis Hassabis: use game environments (which have clear evaluation functions) to train general reasoning capabilities, then apply the same approach to scientific problems with evaluation functions. AlphaFold, AlphaGeometry, AlphaDev, and GNoME are concrete implementations of this strategy.