Triple
T10388792
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Weil conjectures |
E244835
|
entity |
| Predicate | partialProofBy |
P93922
|
FINISHED |
| Object | Michael Artin |
E422694
|
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: Michael Artin | Statement: [Weil conjectures, partialProofBy, Michael Artin]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Michael Artin Context triple: [Weil conjectures, partialProofBy, Michael Artin]
-
A.
Michael Artin
chosen
Michael Artin is a prominent American mathematician renowned for his influential contributions to algebraic geometry and modern algebra.
-
B.
Serge Lang
Serge Lang was a prominent 20th-century mathematician known for his extensive work in number theory and for authoring influential, widely used mathematics textbooks.
-
C.
Emil Artin
Emil Artin was a prominent 20th-century Austrian mathematician renowned for his foundational contributions to algebra, particularly class field theory and Artin reciprocity.
-
D.
Israel Mattuck
Israel Mattuck was a prominent early 20th-century British Reform rabbi and religious leader who played a key role in establishing Liberal Judaism in the United Kingdom.
-
E.
Maurice Auslander
Maurice Auslander was an influential American mathematician known for his foundational work in commutative algebra and representation theory of algebras.
- 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_69d381b5116081908d85227bab6d3c0c |
completed | April 6, 2026, 9:49 a.m. |
| NER | Named-entity recognition | batch_69d4fb99ef088190b64661b2f42c320e |
completed | April 7, 2026, 12:42 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69d7fbae9a9c81908178fca68eb142b6 |
completed | April 9, 2026, 7:19 p.m. |
Created at: April 6, 2026, 12:05 p.m.