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 seventh problem | Statement: [Hilbert problems, hasPart, Hilbert’s seventh problem]

Target entity: Hilbert’s seventh problem
Context triple: [Hilbert problems, hasPart, Hilbert’s seventh problem]

• A. Lindemann–Weierstrass theorem precursor
  The Lindemann–Weierstrass theorem precursor is an early foundational result in transcendental number theory developed by Ferdinand von Lindemann that paved the way for the full Lindemann–Weierstrass theorem on the algebraic independence of exponentials of algebraic numbers.
• 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 irreducibility theorem
  Hilbert’s irreducibility theorem is a fundamental result in number theory and algebraic geometry that ensures many polynomial equations with parameterized coefficients retain irreducibility for infinitely many specializations of those parameters.
• D. Fermat's theorem on sums of two squares
  Fermat's theorem on sums of two squares is a result in number theory stating exactly which prime numbers (and, more generally, which integers) can be expressed as the sum of two perfect squares.
• E. Fermat's Last Theorem
  Fermat's Last Theorem is a famous statement in number theory asserting that there are no whole-number solutions to the equation xⁿ + yⁿ = zⁿ for integers n greater than 2, a problem that remained unsolved for over three centuries until it was proved by Andrew Wiles in the 1990s.
• 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 seventh problem
Triple: [Hilbert problems, hasPart, Hilbert’s seventh problem]

Hilbert’s seventh problem is one of David Hilbert’s famous list of 23 problems, asking whether certain powers of algebraic numbers (notably exemplified by the Gelfond–Schneider theorem) are always transcendental.

Target entity: Hilbert’s seventh problem
Target entity description: Hilbert’s seventh problem is one of David Hilbert’s famous list of 23 problems, asking whether certain powers of algebraic numbers (notably exemplified by the Gelfond–Schneider theorem) are always transcendental.

• A. Lindemann–Weierstrass theorem precursor
  The Lindemann–Weierstrass theorem precursor is an early foundational result in transcendental number theory developed by Ferdinand von Lindemann that paved the way for the full Lindemann–Weierstrass theorem on the algebraic independence of exponentials of algebraic numbers.
• B. Hilbert problems chosen
  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 irreducibility theorem
  Hilbert’s irreducibility theorem is a fundamental result in number theory and algebraic geometry that ensures many polynomial equations with parameterized coefficients retain irreducibility for infinitely many specializations of those parameters.
• D. Fermat's theorem on sums of two squares
  Fermat's theorem on sums of two squares is a result in number theory stating exactly which prime numbers (and, more generally, which integers) can be expressed as the sum of two perfect squares.
• E. Fermat's Last Theorem
  Fermat's Last Theorem is a famous statement in number theory asserting that there are no whole-number solutions to the equation xⁿ + yⁿ = zⁿ for integers n greater than 2, a problem that remained unsolved for over three centuries until it was proved by Andrew Wiles in the 1990s.
• F. None of above.