Triple
T8850243
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hilbert’s seventeenth problem |
E210619
|
entity |
| Predicate | posedAtEvent |
P84982
|
FINISHED |
| Object | International Congress of Mathematicians 1900 |
E48099
|
NE FINISHED |
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: International Congress of Mathematicians 1900 | Statement: [Hilbert’s seventeenth problem, posedAtEvent, International Congress of Mathematicians 1900]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: International Congress of Mathematicians 1900 Context triple: [Hilbert’s seventeenth problem, posedAtEvent, International Congress of Mathematicians 1900]
-
A.
International Congress of Mathematicians
chosen
The International Congress of Mathematicians is the premier global gathering of mathematicians, held every four years and known for hosting major awards such as the Fields Medal.
-
B.
Hilbert problems
The Hilbert problems are a famous list of 23 unsolved mathematical problems presented by David Hilbert in 1900 that profoundly influenced the development of 20th-century mathematics.
-
C.
World Mathematical Year 2000
World Mathematical Year 2000 was an international initiative in the year 2000 dedicated to promoting mathematics worldwide through special events, outreach, and recognition of major mathematical challenges.
-
D.
Hilbert’s twenty-third problem
Hilbert’s twenty-third problem is one of David Hilbert’s famous list of unsolved problems, focusing on the further development and systematic application of the calculus of variations.
-
E.
Hilbert’s second problem
Hilbert’s second problem is one of David Hilbert’s famous list of 23 problems, asking for a proof of the consistency of arithmetic from a finite set of axioms using finitary methods.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: posedAtEvent Context triple: [Hilbert’s seventeenth problem, posedAtEvent, International Congress of Mathematicians 1900]
-
A.
positionInEvent
Indicates the specific role, placement, or ordering that an entity has within a particular event.
-
B.
existedAtEvent
Indicates that an entity was present or in existence at the time a specific event occurred.
-
C.
adoptedAtEvent
Indicates that an entity formally became an adopter or was officially adopted during a specific event.
-
D.
basedOnEvent
Indicates that something is derived from, influenced by, or determined in reference to a specific event.
-
E.
occursAt
Indicates that an event or action takes place at a specific time or location.
- F. None of above. chosen
Provenance (5 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_69ca838a424c8190b1ecac115c2927e7 |
completed | March 30, 2026, 2:07 p.m. |
| NER | Named-entity recognition | batch_69cc60abb0748190af41d4e1f419e39c |
completed | April 1, 2026, 12:02 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69cfa08315fc8190b901adfc76348e18 |
completed | April 3, 2026, 11:12 a.m. |
| PD | Predicate disambiguation | batch_69cc5c25b874819084c9ba391703e066 |
completed | March 31, 2026, 11:43 p.m. |
| PDg | Predicate description generation | batch_69cc5cffe8ec819084c12770fe0578f2 |
completed | March 31, 2026, 11:47 p.m. |
Created at: March 30, 2026, 6:49 p.m.