Triple

T10991283
Position Surface form Disambiguated ID Type / Status
Subject Hilbert–Pólya conjecture E259757 entity
Predicate namedAfter P63 FINISHED
Object George Pólya E163265 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: George Pólya | Statement: [Hilbert–Pólya conjecture, namedAfter, George Pólya]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: George Pólya
Context triple: [Hilbert–Pólya conjecture, namedAfter, George Pólya]
  • A. George Pólya chosen
    George Pólya was a Hungarian-American mathematician renowned for his work in problem solving, combinatorics, and mathematical education, particularly through his influential book "How to Solve It."
  • B. Pólya György
    Pólya György was a Hungarian mathematician renowned for his work in problem solving, combinatorics, and mathematical education, and for authoring the classic book "How to Solve It."
  • C. Pál Erdős
    Pál Erdős was a highly prolific 20th-century Hungarian mathematician renowned for his extensive contributions to number theory, combinatorics, and discrete mathematics, as well as his famously collaborative working style.
  • D. George David Birkhoff
    George David Birkhoff was an influential American mathematician best known for his work in dynamical systems and for formulating the ergodic theorem.
  • E. Max Edrei
    Max Edrei was a French architect best known for co-designing the monumental Douaumont Ossuary commemorating soldiers who died in the Battle of Verdun during World War I.
  • 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_69d6aa8a6a548190a750f944ccdc8064 completed April 8, 2026, 7:20 p.m.
NER Named-entity recognition batch_69d795d1e918819090c71f5a077fa15a completed April 9, 2026, 12:04 p.m.
NED1 Entity disambiguation (via context triple) batch_69e374639f1481908ea372b81a834f6f completed April 18, 2026, 12:09 p.m.
Created at: April 8, 2026, 9:24 p.m.