Kevin Buzzard
E1257333
UNEXPLORED
Kevin Buzzard is a British mathematician known for his work in number theory and for pioneering the use of formal proof verification in mainstream mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Kevin Buzzard canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17227127 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Kevin Buzzard Context triple: [Senior Whitehead Prize, hasNotableRecipient, Kevin Buzzard]
-
A.
Simon Milne
Simon Milne is a music video director best known for his work on prominent 1980s pop videos, including projects for bands like Duran Duran.
-
B.
William A. Stein
William A. Stein is an American mathematician and computer scientist best known as the founder and lead developer of the open-source mathematical software system SageMath.
-
C.
Timothy Gowers
Timothy Gowers is a British mathematician renowned for his work in functional analysis and combinatorics, a Fields Medalist, and a prominent advocate for open access and collaborative mathematics.
-
D.
Michael Ellenberg
Michael Ellenberg is a television producer and media executive best known for developing and producing high-profile prestige series, including the Apple TV+ drama "The Morning Show."
-
E.
Jordan Ellenberg
Jordan Ellenberg is an American mathematician and author known for his popular math writing, including the bestselling book "How Not to Be Wrong: The Power of Mathematical Thinking."
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Kevin Buzzard Target entity description: Kevin Buzzard is a British mathematician known for his work in number theory and for pioneering the use of formal proof verification in mainstream mathematics.
-
A.
Simon Milne
Simon Milne is a music video director best known for his work on prominent 1980s pop videos, including projects for bands like Duran Duran.
-
B.
William A. Stein
William A. Stein is an American mathematician and computer scientist best known as the founder and lead developer of the open-source mathematical software system SageMath.
-
C.
Timothy Gowers
Timothy Gowers is a British mathematician renowned for his work in functional analysis and combinatorics, a Fields Medalist, and a prominent advocate for open access and collaborative mathematics.
-
D.
Michael Ellenberg
Michael Ellenberg is a television producer and media executive best known for developing and producing high-profile prestige series, including the Apple TV+ drama "The Morning Show."
-
E.
Jordan Ellenberg
Jordan Ellenberg is an American mathematician and author known for his popular math writing, including the bestselling book "How Not to Be Wrong: The Power of Mathematical Thinking."
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.