📖 Formalized (in this series) Listed in one of OpenAI\ From: openai-math-intro Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 The multiples of g of bounded degree form a linear code For any $g$ of degree $c$ and any $n > c$, the set of multiples of $g$ of degree below $n$ is a linear code of length $n$ and dimension $n - c$. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Aperiodic tile in dimension three (as stated in the paper) There is a finite nonempty $T \\subset \\mathbb{Z}^3$ that tiles $\\mathbb{Z}^3$ by translations but never periodically, and the same holds for $T + [0,1]^3$ in $\\mathbb{R}^3$. From: openai-math-combinatorics Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 GF(2) is a field, and its operations are XOR and AND The two-element field $\\\\mathrm{GF}(2)$, also written $\\\\mathbb{F}_2$, has addition given by XOR and multiplication given by AND. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Linear list Hadwiger bound (as stated in the paper) There is an absolute $C$ with $\\chi_{\\mathrm{list}}(G) \\le C\\,h(G)$ for every finite nonempty simple graph. From: openai-math-combinatorics Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Percolation on the cubic lattice (as stated in the paper) Bond and site percolation on $\\mathbb{Z}^3$ have almost surely no infinite cluster at criticality. From: openai-math-probability Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 x² + x + 1 has no root in GF(32) The polynomial $x^2 + x + 1$ has no root in GF(32). Since it has degree 2, this also makes it irreducible over GF(32). Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Fresh-secret generation Fix a threshold $k$ with $2 \\\\le k \\\\le 9$, an identifier of four bech32 symbols, and a supported master seed length. Generate $k$ payloads independently and uniformly at random, and assign them to the first $k$ of the required initial indices. The master seed is the value the resulting polynomials take at index s. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Generator polynomial and the code it defines Fix a monic polynomial $g(X)$ of degree $c$ with coefficients in GF(32), called the generator polynomial. For a length $n > c$, the code it defines is $C = \\\\{\\\\, u(X) : \\\\deg u < n \\\\text{ and } g(X) \\\\mid u(X) \\\\,\\\\}$ that is, the strings of length $n$ whose polynomial is a multiple of $g$. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Computational versus information-theoretic security A scheme is computationally secure if recovering the secret from what the attacker observes is possible in principle but believed to require infeasible work. It is information-theoretically secure if the observation does not determine the secret at all: more than one secret is exactly as consistent with it, so no amount of computation, and no future machine, can decide between them. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 ℤn is not a field when n is composite For composite $n$, the set $\\\\mathbb{Z}_n$ contains zero divisors and therefore fails the field axioms. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 The register as a polynomial Write the register contents as $R(x) = r_{12}x^{12} + \\\\cdots + r_1 x + r_0$, where each $r_j$ is the five-bit symbol in slot $j$. Shifting the whole register left by five bits moves every coefficient up one slot, so in polynomial terms a five-bit left shift is multiplication by $x$. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Any k shares recover the secret If $k$ shares of the same secret are held, the secret symbol is determined and is computed by evaluating the Lagrange sum at $\\\\sigma$. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 β = 5z has order exactly 93 $\\\\beta^{93} = 1$, while $\\\\beta^{3}$ and $\\\\beta^{31}$ are not 1. Therefore $\\\\beta$ has multiplicative order 93. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Symbol count and surplus A seed of $n$ bytes occupies $m = \\\\lceil 8n/5 \\\\rceil$ symbols, with a surplus of $r = 5m - 8n$ bits, and $0 \\\\le r \\\\le 4$. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Expanded codeword The expanded codeword of a codex32 string is the five expansion symbols 3, 3, 0, 13, 19 followed by every data symbol after the separator — header, payload and checksum alike. Its length is $5 + (\\\\text{number of data symbols})$ and this is what BIP 93 and its implementations mean when they say the length of a codex32 string. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 The five constants are one generator scaled by a basis Let $g$ be the generator, packed as $G_0 = \\\\texttt{0x19dc500ce73fde210}$. Then $G_i$ is $g$ with every coefficient multiplied by $2^i$ in GF(32), and for a departing symbol $t$ the XOR of the selected constants equals $t \\\\cdot g$. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Master seed format Generic codex32, plus the requirement that the payload be one of the six application lengths: 26, 32, 39, 45, 52 or 103 symbols — corresponding to master seeds of 16, 20, 24, 28, 32 or 64 bytes. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Polynomial over GF(32) A polynomial over GF(32) is a finite expression $f(X) = a_0 + a_1 X + a_2 X^2 + \\\\cdots + a_d X^d$ in which every coefficient $a_i$ is an element of GF(32). If $a_d \\\\ne 0$, the degree of $f$ is $d$. The zero polynomial has no degree. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Eight-symbol detection Any two equal-length valid codex32 strings within a checksum period that differ in at most eight symbols are in fact the same string. Proof: See the collapsible proof in the section itself, where it is presented in full. From: codex32 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.