AI-Generated Proofs

• Binary Code
• Closest Vector Problem
• Connes's Rigidity Conjecture
• Cycle Double Cover Conjecture
• Ehrhart Volume Conjecture
• Erdős Degeneracy Conjecture
• Erdős-Simonovits Compactness Conjecture
• Erdős Unit Distance Problem
• Graph Reconstruction Conjecture
• Hypersphere Packing
• Jacobian Conjecture
• McEliece-Rodemich-Rumsey-Welch Bound
• Permanent
• Quantum Parallel Repetition
• Ramsey Number
• Shannon Capacity
• Soficity Conjecture
• Spherical Code
• Syndrome Decoding Problem