12 problems

The article considers mathematics, logic, and related disciplines, together with the processes of multiple alignment, unification, and search. Information-compression conjecture. M…

The paper studies machine intelligence as a system whose capabilities may depend not only on representational structure but also on access structure. Capability convergence hypothe…

Mild-knowledge conjecture. This situation often occurs within the mild knowledge regime, so that

Let $\alpha$ denote the exception–accumulation exponent, and let cross–context mutual information measure the information shared by a pattern across distinct contexts. Cross-contex…

The FormulaOne benchmark consists of algorithmic coding problems generated from Monadic Second-Order logic on graphs, with solutions requiring potentially many interdependent mathe…

Let an autoregressive Transformer-based system serve as a simulated intelligence (SI), with perplexity as its base metric and the consciousness metric from Information Integration…

AI proof assistance refers to AI systems that help mathematicians develop and verify formal proofs, potentially by interacting with an interactive theorem prover. Formalization bot…

An adversarial process is a process in which AI-generated mathematical arguments are checked by an independent formal mechanism, such as an interactive theorem prover. Interactive…

Large language models (LLMs) are systems trained to generate text from natural-language data. Natural-language reasoning conjecture. Large language models (LLMs) trained on natural…

Structured-representation conjecture. Only on top of compact and structured representations learned by individual agents can the emergence and development of high-level intelligenc…

The paper considers programs that notate increasingly large ordinals, including constructions reaching beyond previously developed techniques. Intelligence-growth conjecture. Each…

Human advantage conjecture. A computer will never give an answer to questions of this type as quickly as a human because it does not know the meaning of the instructions to pick…