Triple

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).

Phrase: Hilbert's first problem | Statement: [continuum hypothesis, positionInHilbertProblems, Hilbert's first problem]

Target entity: Hilbert's first problem
Context triple: [continuum hypothesis, positionInHilbertProblems, Hilbert's first problem]

• A. 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.
• 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. 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.
• D. Hilbert’s twenty-second problem
  Hilbert’s twenty-second problem is one of David Hilbert’s famous list of 23 problems, concerning the uniformization of analytic relations and the representation of multi-valued analytic functions by single-valued ones on suitable Riemann surfaces.
• E. Hilbert’s program
  Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Hilbert's first problem
Triple: [continuum hypothesis, positionInHilbertProblems, Hilbert's first problem]

Hilbert's first problem is one of David Hilbert’s famous list of 23 problems, asking whether there exists a set whose size is strictly between that of the integers and the real numbers, i.e., the status of the continuum hypothesis.

Target entity: Hilbert's first problem
Target entity description: Hilbert's first problem is one of David Hilbert’s famous list of 23 problems, asking whether there exists a set whose size is strictly between that of the integers and the real numbers, i.e., the status of the continuum hypothesis.

• A. 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.
• 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. 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.
• D. Hilbert’s twenty-second problem
  Hilbert’s twenty-second problem is one of David Hilbert’s famous list of 23 problems, concerning the uniformization of analytic relations and the representation of multi-valued analytic functions by single-valued ones on suitable Riemann surfaces.
• E. Hilbert’s program
  Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
• F. None of above. chosen

Target predicate: positionInHilbertProblems
Context triple: [continuum hypothesis, positionInHilbertProblems, Hilbert's first problem]

• A. announcedMillenniumProblems
  Indicates that an entity formally proclaimed or made public the set of Millennium Problems.
• B. numberOfMillenniumProblems
  Indicates the total count of Millennium Problems associated with a given subject or context.
• C. mathematicallyFormulatedIn
  Indicates that something is expressed, defined, or represented using mathematical formulas, equations, or formal mathematical structures within a given context.
• D. associatedConjecture
  Indicates that one entity is linked or connected to a particular conjecture, typically as its subject, source, or relevant context.
• E. millenniumPrizeDecision
  Indicates that a decision has been made regarding the awarding or outcome of a Millennium Prize (typically a Millennium Prize Problem) for a given subject or candidate.
• F. None of above. chosen