AI-Generated Proofs
- Aaronson-Ambainis Conjecture
- Abelian Envelope
- Additive Complement
- Agoh's Conjecture
- AI-Assisted Mathematics
- Amenable Group
- Apex Graph
- Arithmetic Mean
- Autoconvolution Inequality
- Banach-Mazur Distance
- Barker Code
- Barnette's Conjecture
- Bernoulli Percolation Model
- Binary Code
- Bit Pigeonhole Principle
- Bollobás-Nikiforov Conjecture
- Bond Percolation
- Borsuk's Conjecture
- Brennan's Conjecture
- Canonical Nonvanishing Conjecture
- Canonical van der Waerden Number
- Carmichael Number
- Catalan's Constant
- Chain Polytope
- Choice Number
- Chromatic Number
- Closest Vector Problem
- Colombo's Determinant Problem
- Comon Conjecture
- Connes's Rigidity Conjecture
- Conway's Refinement Conjecture
- Copeland-Erdős Constant
- Crouzeix's Conjecture
- Cubic Field
- Cycle Double Cover Conjecture
- Daykin-Frankl Conjecture
- de Bruijn-Newman Constant
- Dean's Conjecture
- Deligne-Drinfeld Conjecture
- Diffusion-Limited Aggregation
- Dikin Walk
- Directed Cut
- Directed Erdős-Sós Theorem
- Divisorial Log Terminal Pair
- Dominating Hadwiger Conjecture
- Egyptian Fraction
- Ehrhart Volume Conjecture
- Elliptic Curve
- Erdős-Borwein Constant
- Erdős Degeneracy Conjecture
- Erdős Problems
- Erdős Similarity Conjecture
- Erdős-Simonovits Compactness Conjecture
- Erdős-Sós Theorem
- Erdős-Szemerédi Sunflower Conjecture
- Erdős Unit Distance Problem
- Euclidean Ramsey Theory
- Euclidean Ring
- Exponential Time Hypothesis
- Falconer Distance Conjecture
- Feige's Conjecture
- Fishburn Latent-Subset Conjecture
- Flint Hills Series
- Gamma-Theta Conjecture
- Gasoline Problem
- Gauss Sphere Problem
- Gaussian Moat Problem
- Gaussian Prime
- Glushkov's L/X Problem
- Goldbach Ring
- Graph Reconstruction Conjecture
- Graph Separator
- Graph Tensor
- Greedy Matching
- Grothendieck's Constant
- Hadamard Difference Set
- Harary-Hill Conjecture
- Hilbert's Seventeenth Problem
- Hilbert's Tenth Problem
- Hlawka's Inequality
- Hopf Conjecture
- Hot Spots Conjecture
- Hypersphere Packing
- Ibragimov-Iosifescu Conjecture
- Independence Polynomial
- Irrational Number
- Irrationality Measure
- Irrationality Sequence
- Jacobian Conjecture
- Kahn's Flow Conjecture
- Kajitani-Ueno-Miyano Conjecture
- Kalai's Conjecture for Tight Trees
- Kaplansky's Quasitrace Conjecture
- Keisler Measure
- Kissing Number
- Komlós Conjecture
- Köthe's Conjecture
- Kozma-Nitzan Conjecture
- Kronecker Coefficient
- Kusner's Conjecture
- Laczkovich Lipschitz Mapping Problem
- Lambert Series
- Langberg-Médard Conjecture
- Latin Square Critical Set
- Lattice Covering Radius
- Least Prime Factor
- Lemniscate Constant
- Linear Code
- Linear Extension
- Linear Source Coding
- List Total Coloring Conjecture
- Littlewood-Richardson Coefficient
- Local Smoothing Conjecture
- Log Abundance Conjecture
- Logarithmic Brunn-Minkowski Inequality
- Markov Order
- Matrix Multiplication Exponent
- Matroid Prophet Inequality
- McEliece-Rodemich-Rumsey-Welch Bound
- McKean Entropy-Production Conjecture
- Mean Dimension
- Medvedev Logic
- Metric Dimension
- Metric Voting Distortion
- MF Group
- Minimum Equivalent Expression
- Mixed Volume
- Morgan-Mullen Conjecture
- Mortality Problem
- Murty-Simon Conjecture
- Nagata Conjecture
- NANUQ Distance
- Navier-Stokes Equations
- Nondegenerate-Stress Conjecture
- Norine's Antipodal-Coloring Conjecture
- Norm-Euclidean Number Field
- Normal Number
- Nowhere-Zero Flow
- Order Polytope
- Pach-Tardos Conjecture
- Partial List Coloring Conjecture
- Percolation Threshold
- Permanent
- Petty Equilateral-Set Conjecture
- Phelps-Rodriguez Conjecture
- Pilz's Extended 1-2-3 Conjecture
- Pinwheel Scheduling
- Poisson Conjecture
- Polynomial Littlewood-Offord Problem
- Poset Reconstruction
- Prime Factorization Algorithms
- Prime Gaps
- Pseudorandom Unitary
- Quantum Parallel Repetition
- Quasi-Riemann Hypothesis
- Radius of Comparison
- Ramsey Number
- Random Graph
- Random k-SAT
- Random Polynomial
- Rational Exponents Conjecture
- Rational Polygonal Billiards
- Reciprocal Fermat Constant
- Reflexive Polytope
- Rolle Word
- Ryser's Conjecture
- Satisfiability Problem
- Saxl Conjecture
- Sendov Conjecture
- Shannon Capacity
- Shareshian-Wachs Conjecture
- Sidorenko's Conjecture
- Simonovits Product Conjecture
- Simonovits-Sós Conjecture
- Simple Group
- Single-Track Gray Code
- Singular Hermitian Metric
- Site Percolation
- Skvortsov Logic
- Smale's Mean Value Conjecture
- Snaky Hexomino
- Snark
- Soficity Conjecture
- Solid Grid Graph
- Sorting
- Spectral Isometry
- Spherical Code
- Stably Finite C^*-Algebra
- Stoneham Number
- Sub-Riemannian Sard Conjecture
- Subset Sum Problem
- Sunflower
- Syndrome Decoding Problem
- Tachikawa's Second Conjecture
- Talagrand's Operator Cotype Problem
- Thompson's Group F
- Thue-Morse Sequence
- Tokareva's Conjecture
- Torsion-Free Group
- Tournament
- Turk's Head Link
- Tutte Three-Edge-Coloring Conjecture
- Tuza's Conjecture
- Union-Closed Sets Conjecture
- Unitary Synthesis Problem
- Universal Integral Means Spectrum
- Universal Permutation
- Vertex Splitting
- Vietoris Power
- von Neumann Algebra
- Wolstenholme Prime
- Word Morphism
- Z-Number
- Zarankiewicz's Conjecture