AI-Generated Proofs

• Agoh's Conjecture
• Apex Graph
• Arithmetic Mean
• Binary Code
• Carmichael Number
• Closest Vector Problem
• Connes's Rigidity Conjecture
• Crouzeix's Conjecture
• Cycle Double Cover Conjecture
• Dean's Conjecture
• Ehrhart Volume Conjecture
• Erdős Degeneracy Conjecture
• Erdős-Simonovits Compactness Conjecture
• Erdős Unit Distance Problem
• Feige's Conjecture
• Graph Reconstruction Conjecture
• Hypersphere Packing
• Jacobian Conjecture
• Kissing Number
• McEliece-Rodemich-Rumsey-Welch Bound
• Metric Voting Distortion
• Permanent
• Phelps-Rodriguez Conjecture
• Prime Gaps
• Quantum Parallel Repetition
• Ramsey Number
• Sendov Conjecture
• Snark
• Soficity Conjecture
• Spherical Code
• Syndrome Decoding Problem
• Tutte Three-Edge-Coloring Conjecture
• Wolstenholme Prime