Triple

T21494032
Position Surface form Disambiguated ID Type / Status
Subject Taniyama–Shimura–Weil conjecture E530307 entity
Predicate provedInFullBy P144592 FINISHED
Object Fred Diamond — NE NERFINISHED

How this triple was built (3 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: Fred Diamond | Statement: [Taniyama–Shimura–Weil conjecture, provedInFullBy, Fred Diamond]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Fred Diamond
Context triple: [Taniyama–Shimura–Weil conjecture, provedInFullBy, Fred Diamond]
  • A. Josh Diamond
    Josh Diamond is a screenwriter best known for co-writing the satirical mockumentary film "Finishing the Game."
  • B. Michael Diamond
    Michael Diamond, better known as Mike D, is an American rapper, musician, and founding member of the influential hip-hop group Beastie Boys.
  • C. Keith Diamond
    Keith Diamond was a Guyanese-born American songwriter and record producer best known for crafting polished pop and R&B hits in the 1980s for artists such as Billy Ocean and Donna Summer.
  • D. Keith Diamond
    Keith Diamond is an American actor best known for voicing the animated character Agent J in the Men in Black franchise.
  • E. I. A. L. Diamond
    I. A. L. Diamond was a Romanian-born American screenwriter best known for his long-time collaboration with director Billy Wilder on classic films such as "Some Like It Hot" and "The Apartment."
  • 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: Fred Diamond
Target entity description: Fred Diamond is an American mathematician known for his contributions to number theory and modular forms, particularly in work related to the proof of the modularity theorem (formerly the Taniyama–Shimura–Weil conjecture).
  • A. Josh Diamond
    Josh Diamond is a screenwriter best known for co-writing the satirical mockumentary film "Finishing the Game."
  • B. Michael Diamond
    Michael Diamond, better known as Mike D, is an American rapper, musician, and founding member of the influential hip-hop group Beastie Boys.
  • C. Keith Diamond
    Keith Diamond was a Guyanese-born American songwriter and record producer best known for crafting polished pop and R&B hits in the 1980s for artists such as Billy Ocean and Donna Summer.
  • D. Keith Diamond
    Keith Diamond is an American actor best known for voicing the animated character Agent J in the Men in Black franchise.
  • E. I. A. L. Diamond
    I. A. L. Diamond was a Romanian-born American screenwriter best known for his long-time collaboration with director Billy Wilder on classic films such as "Some Like It Hot" and "The Apartment."
  • F. None of above. chosen

Provenance (2 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_69e0c45bd15481909fba5910765cdda2 completed April 16, 2026, 11:13 a.m.
NER Named-entity recognition batch_69e9ea567244819091863350fedae3ae completed April 23, 2026, 9:45 a.m.
Created at: April 16, 2026, 6:23 p.m.