AGI Strategies

person

Holly Krieger

Cambridge mathematician; AI in mathematics commentator

Cambridge mathematician and Numberphile presenter who has written and spoken on AI's increasing role in research mathematics, particularly post-AlphaProof.

current Lecturer in Mathematics, University of Cambridge

Strategy positions

Techno-optimismmixedtentative

Technology and markets solve risks faster than regulation creates them

Working mathematician engaging with AlphaProof and similar systems; argues mathematicians need to engage with AI rather than dismiss or hype it.

AI is going to change how mathematicians work. Most of the change will be invisible to people outside the field.
articleHolly Krieger, Cambridge· DPMMS Cambridge· 2024· loose paraphrase

Closest strategy neighbours

by jaccard overlap

Other people whose strategy tags overlap with Holly Krieger's. Overlap is on tag identity, not stance; opposites can show up if they reference the same tags.

  • A. Michael Spence

    A. Michael Spence

    shared 1 · J=1.00

    Stanford economist; Nobel laureate; AI economic effects

  • Aaron Levie

    Aaron Levie

    shared 1 · J=1.00

    Box co-founder and CEO

  • Adam D'Angelo

    Adam D'Angelo

    shared 1 · J=1.00

    CEO of Quora; OpenAI board member

  • Adam Jonas

    shared 1 · J=1.00

    Morgan Stanley equity analyst; embodied AI and humanoid robots lead

  • Aidan McLaughlin

    shared 1 · J=1.00

    OpenAI scaling researcher

  • Aman Sanger

    shared 1 · J=1.00

    Cursor co-founder

Record last updated 2026-04-25.