Triple

T4227994
Position Surface form Disambiguated ID Type / Status
Subject Frank Nelson Cole Prize in Algebra E94506 entity
Predicate notableRecipient P108 FINISHED
Object Peter Sarnak E244827 NE FINISHED

How this triple was built (2 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Peter Sarnak | Statement: [Frank Nelson Cole Prize in Algebra, notableRecipient, Peter Sarnak]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Peter Sarnak
Context triple: [Frank Nelson Cole Prize in Algebra, notableRecipient, Peter Sarnak]
  • A. Peter Sarnak chosen
    Peter Sarnak is a prominent mathematician known for his influential work in number theory, automorphic forms, and spectral theory.
  • B. Robert Langlands
    Robert Langlands is a Canadian mathematician best known for initiating the Langlands program, a far-reaching web of conjectures connecting number theory, representation theory, and geometry.
  • C. Manjul Bhargava
    Manjul Bhargava is a Canadian-American mathematician renowned for his groundbreaking work in number theory, for which he received the Fields Medal in 2014.
  • D. Enrico Bombieri
    Enrico Bombieri is an Italian mathematician renowned for his work in number theory, analysis, and the theory of minimal surfaces, and as a recipient of the Fields Medal.
  • E. Ken Ribet
    Ken Ribet is an American mathematician known for his work in number theory, particularly his proof of the epsilon conjecture, which played a crucial role in the eventual proof of Fermat’s Last Theorem.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69b3453700a08190ae88792e3dc63207 completed March 12, 2026, 10:59 p.m.
NER Named-entity recognition batch_69b34e51817c8190bff50f2c3b5deea0 completed March 12, 2026, 11:37 p.m.
NED1 Entity disambiguation (via context triple) batch_69b5964a388881908038e5a612424b9b completed March 14, 2026, 5:09 p.m.
Created at: March 12, 2026, 11:04 p.m.