Universally defining Z\mathbb{Z} in Q\mathbb{Q} with 1010 quantifiers

We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.Comment: 20 pages, author approved manuscrip

Universally defining finitely generated subrings of global fields

It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in number fields and rings of $S$-integers in global function fields of odd characteristic. In this article a proof is presented which is uniform in all global fields, including the characteristic two case, where the result is entirely novel. Furthermore, the proposed method results in universal formulae requiring significantly fewer quantifiers than the formulae that can be derived through the previous approaches.Comment: preprin

Uniform existential definitions of valuations in function fields in one variable

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a negative answer, the valuation rings containing $K$ are uniformly existentially definable, and finitely generated integrally closed $K$-subalgebras are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.Comment: 57 pages, preprin

Universal quadratic forms and Northcott property of infinite number fields

We show that if a universal quadratic form exists over an infinite degree, totally real extension of the field of rationals $\mathbb{Q}$, then the set of totally positive integers in the extension does not have the Northcott property. In particular, this implies that no universal form exists over the compositum of all totally real Galois fields of a fixed prime degree over $\mathbb{Q}$. Further, by considering the existence of infinitely many square classes of totally positive units, we show that no classical universal form exists over the compositum of all such fields of degree $3d$ (for each fixed odd integer $d$).Comment: preprin

Failures of integral Springer's Theorem

We discuss the phenomenon where an element in a number field is not integrally represented by a given positive definite quadratic form, but becomes integrally represented by this form over a totally real extension of odd degree. We prove that this phenomenon happens infinitely often, and, conversely, establish finiteness results about the situation when the quadratic form is fixed.Comment: preprint, 10 page

Humanity's Last Exam

Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of human knowledge, designed to be the final closed-ended academic benchmark of its kind with broad subject coverage. HLE consists of 3,000 questions across dozens of subjects, including mathematics, humanities, and the natural sciences. HLE is developed globally by subject-matter experts and consists of multiple-choice and short-answer questions suitable for automated grading. Each question has a known solution that is unambiguous and easily verifiable, but cannot be quickly answered via internet retrieval. State-of-the-art LLMs demonstrate low accuracy and calibration on HLE, highlighting a significant gap between current LLM capabilities and the expert human frontier on closed-ended academic questions. To inform research and policymaking upon a clear understanding of model capabilities, we publicly release HLE at https://lastexam.ai

Humanity's Last Exam

Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of human knowledge, designed to be the final closed-ended academic benchmark of its kind with broad subject coverage. HLE consists of 3,000 questions across dozens of subjects, including mathematics, humanities, and the natural sciences. HLE is developed globally by subject-matter experts and consists of multiple-choice and short-answer questions suitable for automated grading. Each question has a known solution that is unambiguous and easily verifiable, but cannot be quickly answered via internet retrieval. State-of-the-art LLMs demonstrate low accuracy and calibration on HLE, highlighting a significant gap between current LLM capabilities and the expert human frontier on closed-ended academic questions. To inform research and policymaking upon a clear understanding of model capabilities, we publicly release HLE at https://lastexam.ai

Universally defining Z in Q with 10 quantifiers

Abstract: We show that for a global field K, every ring of S-integers has a universal first-order definition in K with 10 quantifiers. We also give a proof that every finite intersection of valuation rings of K has an existential first-order definition in K with 3 quantifiers