UQ Logo

: Assessing Language Models on Unsolved Questions

UQ: Assessing Language Models on Unsolved Questions

PaperCodeHugging Face Dataset
HomeQuestionsContributeContactCite
    Back to Home

    All Questions

    500 questions in the database • Page 1 of 25

    Search and Filter Questions
    Find specific questions or browse by category, site, and sort by date or votes
    21
    SE votes

    Can a 4D spacecraft, with just a single rigid thruster, achieve any rotational velocity?

    Unsolved

    (Copiedfrom MSE. Offering four bounties over time, I got no response, other than twenty-nine upvotes.)

    It seems preposterous at first glance. I just want to be sure. ...

    Science
    MathOverflow
    ca.classical-analysis-and-odes
    ds.dynamical-systems
    mp.mathematical-physics
    differential-equations
    Posted on:6/13/2023
    UQ ID:139
    View OriginalView Details
    10
    SE votes

    Covering number/Metric Entropy of the unit ball with respect to Mahalanobis distance

    Unsolved

    Let denote the unit ball on and be the cardinality of the smallest -cover of . An epsilon cover is a set such that for any , there is a with . See for example [here](https://www.stat.berkeley.ed...

    Science
    Mathematics
    real-analysis
    combinatorics
    geometry
    analysis
    statistics
    Posted on:5/26/2023
    UQ ID:361
    View OriginalView Details
    35
    SE votes

    Orthogonal vectors with entries from

    Unsolved

    Let be the all-ones vector, and suppose are mutually orthogonal non-zero vectors. Does it follow that ?

    A few notes are in order:

    1. If we do not a...
    Science
    MathOverflow
    co.combinatorics
    linear-algebra
    matrices
    Posted on:5/17/2023
    UQ ID:73
    View OriginalView Details
    17
    SE votes

    Symmetries of local systems on the punctured sphere

    Unsolved

    Let , for some finite set of points, say with . The category of locally constant sheaves of -vector spaces on (equivalently, complex representations of ), , has many natural autoequivalences.

    For examp...

    Science
    MathOverflow
    ag.algebraic-geometry
    rt.representation-theory
    braid-groups
    local-systems
    Posted on:5/8/2023
    UQ ID:223
    View OriginalView Details
    9
    SE votes

    Can you programatically check whether a given set of gates is universal?

    Unsolved

    I am wondering if there is an automated way to determine whether a given set of quantum operations is universal.

    More precisely, given a set of 1 and 2 qubit gates, can we write a program to determine whether this constitutes a universal gate set? If so, how might we do this?

    EDIT: To clarify ...

    Technology
    Quantum Computing
    quantum-gate
    universal-gates
    transpile
    Posted on:5/2/2023
    UQ ID:481
    View OriginalView Details
    8
    SE votes

    MIP formulation for graph planarity test

    Unsolved

    In this question, it was asked wether a MIP formulation exists to test for a graph's planarity. The inputs are the graph's nodes and edges, and the output would be a certificate which guarantees tha...

    Science
    Operations Research
    mixed-integer-programming
    modeling
    graphs
    Posted on:5/1/2023
    UQ ID:479
    View OriginalView Details
    11
    SE votes

    Is integer vectorization accuracy / precision of integer division CPU-dependent?

    Unsolved

    I tried to vectorize the premultiplication of 64-bit colors of 16-bit integer ARGB channels.

    I quickly realized that due to lack of accelerated integer division support I need to convert my values to float and use some SSE2/SSE4.1 intrinsics explicitly for the best performance. Still, I wanted to...

    Technology
    Stack Overflow
    c#
    vectorization
    precision
    simd
    auto-vectorization
    Posted on:3/14/2023
    UQ ID:387
    View OriginalView Details
    6
    SE votes

    Glossary style with tabularray

    Unsolved

    I am currently migrating from xltabular to tabularray. As part of that I want to adapt my custom glossary style for List of Symbols and List of Abbreviations (same style).

    This is my old code:

    % tables
    \usepackage{booktabs}
    \usepackage{multirow}
    \usepackage{xltabular}
    ...
    
    Technology
    TeX - LaTeX
    glossaries
    tabularray
    glossaries-extra
    xltabular
    Posted on:3/9/2023
    UQ ID:398
    View OriginalView Details
    19
    SE votes

    Large values of characters of the symmetric group

    Unsolved

    For an element of a group and an irreducible character, there are two easy bounds for the character value : First, the bound by the dimension of the representation and, second, the bound by the centralizer arising from the...

    Science
    MathOverflow
    co.combinatorics
    rt.representation-theory
    symmetric-groups
    characters
    Posted on:2/20/2023
    UQ ID:171
    View OriginalView Details
    18
    SE votes

    Mysterious sum equal to where

    Unsolved

    Consider a prime number and denotes the remainder of upon division by . Let .

    I Conjecture

    The question has already been asked in this [thread](https://math.stackexch...

    Science
    MathOverflow
    nt.number-theory
    prime-numbers
    Posted on:2/16/2023
    UQ ID:194
    View OriginalView Details
    32
    SE votes

    A holomorphic function sending integers (and only integers) to

    Unsolved

    Does there exist a function , holomorphic on the whole complex plane , such that and ? If yes, is it possible to have an explicit construction? Note that, for example, $h(z)=...

    Science
    Mathematics
    complex-analysis
    galois-theory
    riemann-surfaces
    elliptic-functions
    Posted on:1/23/2023
    UQ ID:285
    View OriginalView Details
    27
    SE votes

    Circles of radius all touch a middle circle. How to make the middle circle as small as possible?

    Unsolved

    Non-overlapping circles of radius are all externally tangent to a middle circle.

    How should we arrange the surrounding circles, in order to minimize the middle circle's radius ?

    Take for example.

    On the left, going anticlockwise the radii are $1, 2, 3, 4, 5, 6, 7, 8, 9...

    Science
    Mathematics
    geometry
    optimization
    circles
    discrete-geometry
    Posted on:1/16/2023
    UQ ID:295
    View OriginalView Details
    26
    SE votes

    What functions from can be made from , , , , exponentiation, and ?

    Solved

    What functions from can be made from , , , , exponentiation, and ? Call this class of functions (for "floor and exponentiation"). The function can be defined by . In add...

    Science
    Mathematics
    exponential-function
    diophantine-equations
    recursion
    computability
    ceiling-and-floor-functions
    Posted on:12/24/2022
    UQ ID:300
    View OriginalView Details
    10
    SE votes

    What was IBM's internal Specification Language of the 1980s?

    Unsolved

    Within IBM's internal Development community, there was a move in the 1980s to bring our skills up to date. As part of this, we were introduced to a specification language, independent of the programming languages of the time (PL/S and Basic Assembler for example), in which a specification would be i...

    Technology
    Retrocomputing
    history
    Posted on:12/14/2022
    UQ ID:485
    View OriginalView Details
    30
    SE votes

    The limit of as n approaches infinity

    Unsolved

    Calculate the limit

    or prove that the limit does not exist. This appeared as a problem in my mathematical analysis test, and the answer was that the limit exists and it was . But later the teacher found a mistake in his proof and eventually remove...

    Science
    Mathematics
    sequences-and-series
    limits
    analysis
    trigonometry
    factorial
    Posted on:11/15/2022
    UQ ID:289
    View OriginalView Details
    6
    SE votes

    How do animals adapt to a partially or fully deaf individual of their group?

    Unsolved

    In eusocial animals for which hearing is important to communicate between individuals, is there any species apart humans for which there are some evidence that the group adapts their acoustic communication to a fully or partially deaf individual of the group?

    For instance, by systematically vocaliz...

    Science
    Bioacoustics
    hearing
    adaptation
    Posted on:11/14/2022
    UQ ID:1
    View OriginalView Details
    16
    SE votes

    Is "Escherian metamorphosis" always possible?

    Unsolved

    _This is a tweaked version of a question which was asked and bountied[at MSE](https://math.stackexchange.com/q/4555946/281...

    Science
    MathOverflow
    mg.metric-geometry
    euclidean-geometry
    plane-geometry
    tiling
    Posted on:10/29/2022
    UQ ID:255
    View OriginalView Details
    20
    SE votes

    Continent sized, X-shaped alien

    Unsolved

    I have a vague recollection of this book, mostly the X-shaped alien. I can’t find anything through internet searches. I thought it may be some sort of “choose your adventure” book, but I haven’t seen it on any lists or pages discussing those sorts of books.

    Alien description:

    • Hugging a water w...
    Life & Arts
    Science Fiction & Fantasy
    story-identification
    books
    Posted on:10/3/2022
    UQ ID:454
    View OriginalView Details
    20
    SE votes

    Does every finitely generated group have finitely many retracts up to isomorphism?

    Unsolved

    The infinite dihedral group is a finitely generated group with infinitely many cyclic subgroups of order 2, every one of which is a retract.

    For the group ‎, ‎take for any integer ...

    Science
    Mathematics
    group-theory
    finitely-generated
    retraction
    Posted on:9/10/2022
    UQ ID:329
    View OriginalView Details
    18
    SE votes

    Cycles in algebraic de Rham cohomology

    Unsolved

    Let be a number field, a finite set of places, and a smooth projective -scheme with geometrically connected fibers. For each point , there is a Chern class map where denotes a...

    Science
    MathOverflow
    ag.algebraic-geometry
    arithmetic-geometry
    algebraic-cycles
    chern-classes
    derham-cohomology
    Posted on:9/2/2022
    UQ ID:196
    View OriginalView Details
    Page 1 of 25 • 500 total questions