5 problems

Let $\mathsf{CH}$ denote the continuum hypothesis, and let $\mathsf{ZFC}$ denote Zermelo–Fraenkel set theory with the axiom of choice. A statement is independent of $\mathsf{ZFC}$…

A martingale is a stochastic process with the defining martingale properties, and conditional expectation is the associated probabilistic operation. The conjecture concerns represe…

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…

Let ${{\mathsf{SPR}}}\xspace^+$ denote the behavioural formulation of the special principle of relativity, and let ${{\mathsf{SPR}_{{{\mathit{B}}}\xspace}}}\xspace$ denote the body…