IndieMath

[IndieMath:math-001:prove] Prove the The Riemann Hypothesis conjecture through an IndieMath AI research attempt. Canonical statement: Every non-t... Read more

[IndieMath:math-001:disprove] Disprove the The Riemann Hypothesis conjecture through an IndieMath AI research attempt. Canonical statement: Every... Read more

[IndieMath:math-002:prove] Prove the The Generalized Riemann Hypothesis (GRH) conjecture through an IndieMath AI research attempt. Canonical stat... Read more

[IndieMath:math-002:disprove] Disprove the The Generalized Riemann Hypothesis (GRH) conjecture through an IndieMath AI research attempt. Canonica... Read more

[IndieMath:math-003:prove] Prove the Goldbach's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Every even i... Read more

[IndieMath:math-003:disprove] Disprove the Goldbach's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Every ... Read more

[IndieMath:math-004:prove] Prove the The Twin Prime Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: There ar... Read more

[IndieMath:math-004:disprove] Disprove the The Twin Prime Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Th... Read more

[IndieMath:math-005:prove] Prove the Legendre's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For every po... Read more

[IndieMath:math-005:disprove] Disprove the Legendre's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For ev... Read more

[IndieMath:math-006:prove] Prove the Landau's Problem: Primes of the Form n² + 1 conjecture through an IndieMath AI research attempt. Canonical s... Read more

[IndieMath:math-006:disprove] Disprove the Landau's Problem: Primes of the Form n² + 1 conjecture through an IndieMath AI research attempt. Canon... Read more

[IndieMath:math-007:prove] Prove the The Collatz (3n + 1) Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: De... Read more

[IndieMath:math-007:disprove] Disprove the The Collatz (3n + 1) Conjecture conjecture through an IndieMath AI research attempt. Canonical stateme... Read more

[IndieMath:math-008:prove] Prove the The abc Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For every ε > 0... Read more

[IndieMath:math-008:disprove] Disprove the The abc Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For every... Read more

[IndieMath:math-009:prove] Prove the Odd Perfect Numbers conjecture through an IndieMath AI research attempt. Canonical statement: No odd perfect... Read more

[IndieMath:math-009:disprove] Disprove the Odd Perfect Numbers conjecture through an IndieMath AI research attempt. Canonical statement: No odd p... Read more

[IndieMath:math-010:prove] Prove the Infinitude of Mersenne Primes conjecture through an IndieMath AI research attempt. Canonical statement: Ther... Read more

[IndieMath:math-010:disprove] Disprove the Infinitude of Mersenne Primes conjecture through an IndieMath AI research attempt. Canonical statement... Read more

[IndieMath:math-011:prove] Prove the Fermat Primes conjecture through an IndieMath AI research attempt. Canonical statement: The only Fermat prim... Read more

[IndieMath:math-011:disprove] Disprove the Fermat Primes conjecture through an IndieMath AI research attempt. Canonical statement: The only Ferma... Read more

[IndieMath:math-012:prove] Prove the Beal's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If Aˣ + Bʸ = Cᶻ ... Read more

[IndieMath:math-012:disprove] Disprove the Beal's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If Aˣ + Bʸ... Read more

[IndieMath:math-013:prove] Prove the The Erdős–Straus Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For ev... Read more

[IndieMath:math-013:disprove] Disprove the The Erdős–Straus Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: ... Read more

[IndieMath:math-014:prove] Prove the Sums of Three Cubes conjecture through an IndieMath AI research attempt. Canonical statement: Every integer ... Read more

[IndieMath:math-014:disprove] Disprove the Sums of Three Cubes conjecture through an IndieMath AI research attempt. Canonical statement: Every in... Read more

[IndieMath:math-015:prove] Prove the Brocard's Problem conjecture through an IndieMath AI research attempt. Canonical statement: The only solutio... Read more

[IndieMath:math-015:disprove] Disprove the Brocard's Problem conjecture through an IndieMath AI research attempt. Canonical statement: The only s... Read more

[IndieMath:math-016:prove] Prove the The Birch and Swinnerton-Dyer Conjecture conjecture through an IndieMath AI research attempt. Canonical stat... Read more

[IndieMath:math-016:disprove] Disprove the The Birch and Swinnerton-Dyer Conjecture conjecture through an IndieMath AI research attempt. Canonica... Read more

[IndieMath:math-017:prove] Prove the The Littlewood Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For all ... Read more

[IndieMath:math-017:disprove] Disprove the The Littlewood Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Fo... Read more

[IndieMath:math-018:prove] Prove the Normality of π conjecture through an IndieMath AI research attempt. Canonical statement: π is normal in ever... Read more

[IndieMath:math-018:disprove] Disprove the Normality of π conjecture through an IndieMath AI research attempt. Canonical statement: π is normal i... Read more

[IndieMath:math-019:prove] Prove the Irrationality of the Euler–Mascheroni Constant γ conjecture through an IndieMath AI research attempt. Canoni... Read more

[IndieMath:math-019:disprove] Disprove the Irrationality of the Euler–Mascheroni Constant γ conjecture through an IndieMath AI research attempt. ... Read more

[IndieMath:math-020:prove] Prove the Schanuel's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If z₁, …, zₙ... Read more

[IndieMath:math-020:disprove] Disprove the Schanuel's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If z₁,... Read more

[IndieMath:math-021:prove] Prove the The Perfect Cuboid Problem conjecture through an IndieMath AI research attempt. Canonical statement: There i... Read more

[IndieMath:math-021:disprove] Disprove the The Perfect Cuboid Problem conjecture through an IndieMath AI research attempt. Canonical statement: T... Read more

[IndieMath:math-022:prove] Prove the Navier–Stokes Existence and Smoothness (Clay problem) conjecture through an IndieMath AI research attempt. C... Read more

[IndieMath:math-022:disprove] Disprove the Navier–Stokes Existence and Smoothness (Clay problem) conjecture through an IndieMath AI research attem... Read more

[IndieMath:math-023:prove] Prove the The Kakeya Conjecture in Dimensions ≥ 4 conjecture through an IndieMath AI research attempt. Canonical state... Read more

[IndieMath:math-023:disprove] Disprove the The Kakeya Conjecture in Dimensions ≥ 4 conjecture through an IndieMath AI research attempt. Canonical... Read more

[IndieMath:math-024:prove] Prove the The Invariant Subspace Problem (Hilbert space) conjecture through an IndieMath AI research attempt. Canonica... Read more

[IndieMath:math-024:disprove] Disprove the The Invariant Subspace Problem (Hilbert space) conjecture through an IndieMath AI research attempt. Ca... Read more

[IndieMath:math-025:prove] Prove the Sendov's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If all n ≥ 2 z... Read more

[IndieMath:math-025:disprove] Disprove the Sendov's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If all n... Read more

[IndieMath:math-026:prove] Prove the Crouzeix's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For every sq... Read more

[IndieMath:math-026:disprove] Disprove the Crouzeix's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For ev... Read more

[IndieMath:math-027:prove] Prove the The Inscribed Square Problem (Toeplitz, 1911) conjecture through an IndieMath AI research attempt. Canonical... Read more

[IndieMath:math-027:disprove] Disprove the The Inscribed Square Problem (Toeplitz, 1911) conjecture through an IndieMath AI research attempt. Can... Read more

[IndieMath:math-028:prove] Prove the The Union-Closed Sets Conjecture (Frankl) conjecture through an IndieMath AI research attempt. Canonical sta... Read more

[IndieMath:math-028:disprove] Disprove the The Union-Closed Sets Conjecture (Frankl) conjecture through an IndieMath AI research attempt. Canonic... Read more

[IndieMath:math-029:prove] Prove the Hadwiger's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For every t ... Read more

[IndieMath:math-029:disprove] Disprove the Hadwiger's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For ev... Read more

[IndieMath:math-030:prove] Prove the The Reconstruction Conjecture (Kelly–Ulam) conjecture through an IndieMath AI research attempt. Canonical st... Read more

[IndieMath:math-030:disprove] Disprove the The Reconstruction Conjecture (Kelly–Ulam) conjecture through an IndieMath AI research attempt. Canoni... Read more

[IndieMath:math-031:prove] Prove the The Graceful Tree Conjecture (Ringel–Kotzig) conjecture through an IndieMath AI research attempt. Canonical ... Read more

[IndieMath:math-031:disprove] Disprove the The Graceful Tree Conjecture (Ringel–Kotzig) conjecture through an IndieMath AI research attempt. Cano... Read more

[IndieMath:math-032:prove] Prove the The Lonely Runner Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For k... Read more

[IndieMath:math-032:disprove] Disprove the The Lonely Runner Conjecture conjecture through an IndieMath AI research attempt. Canonical statement:... Read more

[IndieMath:math-033:prove] Prove the The Hadwiger–Nelson Problem (Chromatic Number of the Plane) conjecture through an IndieMath AI research attem... Read more

[IndieMath:math-033:disprove] Disprove the The Hadwiger–Nelson Problem (Chromatic Number of the Plane) conjecture through an IndieMath AI research... Read more

[IndieMath:math-034:prove] Prove the The Sunflower Conjecture (Erdős–Rado) conjecture through an IndieMath AI research attempt. Canonical stateme... Read more

[IndieMath:math-034:disprove] Disprove the The Sunflower Conjecture (Erdős–Rado) conjecture through an IndieMath AI research attempt. Canonical s... Read more

[IndieMath:math-035:prove] Prove the The Erdős–Szekeres Conjecture (Happy Ending problem, exact version) conjecture through an IndieMath AI resear... Read more

[IndieMath:math-035:disprove] Disprove the The Erdős–Szekeres Conjecture (Happy Ending problem, exact version) conjecture through an IndieMath AI ... Read more

[IndieMath:math-036:prove] Prove the The Cycle Double Cover Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: ... Read more

[IndieMath:math-036:disprove] Disprove the The Cycle Double Cover Conjecture conjecture through an IndieMath AI research attempt. Canonical state... Read more

[IndieMath:math-037:prove] Prove the The Erdős Conjecture on Arithmetic Progressions conjecture through an IndieMath AI research attempt. Canonic... Read more

[IndieMath:math-037:disprove] Disprove the The Erdős Conjecture on Arithmetic Progressions conjecture through an IndieMath AI research attempt. C... Read more

[IndieMath:math-038:prove] Prove the The Missing Moore Graph (degree 57) conjecture through an IndieMath AI research attempt. Canonical statement... Read more

[IndieMath:math-038:disprove] Disprove the The Missing Moore Graph (degree 57) conjecture through an IndieMath AI research attempt. Canonical sta... Read more

[IndieMath:math-039:prove] Prove the The Hadamard Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: A Hadamard... Read more

[IndieMath:math-039:disprove] Disprove the The Hadamard Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: A Ha... Read more

[IndieMath:math-040:prove] Prove the P versus NP conjecture through an IndieMath AI research attempt. Canonical statement: P is not equal to NP. ... Read more

[IndieMath:math-040:disprove] Disprove the P versus NP conjecture through an IndieMath AI research attempt. Canonical statement: P is not equal t... Read more

[IndieMath:math-041:prove] Prove the Yang–Mills Existence and Mass Gap (Clay problem) conjecture through an IndieMath AI research attempt. Canoni... Read more

[IndieMath:math-041:disprove] Disprove the Yang–Mills Existence and Mass Gap (Clay problem) conjecture through an IndieMath AI research attempt. ... Read more

[IndieMath:math-042:prove] Prove the The Hodge Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: On a smooth p... Read more

[IndieMath:math-042:disprove] Disprove the The Hodge Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: On a sm... Read more

[IndieMath:math-043:prove] Prove the The Jacobian Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Every poly... Read more

[IndieMath:math-043:disprove] Disprove the The Jacobian Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Ever... Read more

[IndieMath:math-044:prove] Prove the Kaplansky's Zero-Divisor Conjecture conjecture through an IndieMath AI research attempt. Canonical statement... Read more

[IndieMath:math-044:disprove] Disprove the Kaplansky's Zero-Divisor Conjecture conjecture through an IndieMath AI research attempt. Canonical sta... Read more

[IndieMath:math-045:prove] Prove the The Smooth 4-Dimensional Poincaré Conjecture conjecture through an IndieMath AI research attempt. Canonical ... Read more

[IndieMath:math-045:disprove] Disprove the The Smooth 4-Dimensional Poincaré Conjecture conjecture through an IndieMath AI research attempt. Cano... Read more

[IndieMath:math-046:prove] Prove the The Slice-Ribbon Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Every ... Read more

[IndieMath:math-046:disprove] Disprove the The Slice-Ribbon Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: ... Read more

[IndieMath:math-047:prove] Prove the The Whitehead Asphericity Conjecture conjecture through an IndieMath AI research attempt. Canonical statemen... Read more

[IndieMath:math-047:disprove] Disprove the The Whitehead Asphericity Conjecture conjecture through an IndieMath AI research attempt. Canonical st... Read more

[IndieMath:math-048:prove] Prove the Hilbert's 16th Problem (second part) conjecture through an IndieMath AI research attempt. Canonical statemen... Read more

[IndieMath:math-048:disprove] Disprove the Hilbert's 16th Problem (second part) conjecture through an IndieMath AI research attempt. Canonical st... Read more

[IndieMath:math-049:prove] Prove the The Casas-Alvero Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If a c... Read more

[IndieMath:math-049:disprove] Disprove the The Casas-Alvero Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: ... Read more

[IndieMath:math-050:prove] Prove the Vaught's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: A complete fir... Read more

[IndieMath:math-050:disprove] Disprove the Vaught's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: A comple... Read more

[IndieMath:cs-001:prove] Prove the NP versus P/poly conjecture through an IndieMath AI research attempt. Canonical statement: NP is not contained... Read more

[IndieMath:cs-001:disprove] Disprove the NP versus P/poly conjecture through an IndieMath AI research attempt. Canonical statement: NP is not con... Read more

[IndieMath:cs-002:prove] Prove the P versus BPP conjecture through an IndieMath AI research attempt. Canonical statement: P equals BPP; every dec... Read more

[IndieMath:cs-002:disprove] Disprove the P versus BPP conjecture through an IndieMath AI research attempt. Canonical statement: P equals BPP; eve... Read more

[IndieMath:cs-003:prove] Prove the Matrix Multiplication Exponent conjecture through an IndieMath AI research attempt. Canonical statement: The e... Read more

[IndieMath:cs-003:disprove] Disprove the Matrix Multiplication Exponent conjecture through an IndieMath AI research attempt. Canonical statement:... Read more

[IndieMath:cs-004:prove] Prove the Strongly Polynomial Linear Programming conjecture through an IndieMath AI research attempt. Canonical statemen... Read more

[IndieMath:cs-004:disprove] Disprove the Strongly Polynomial Linear Programming conjecture through an IndieMath AI research attempt. Canonical st... Read more

[IndieMath:cs-005:prove] Prove the The Unique Games Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For ever... Read more

[IndieMath:cs-005:disprove] Disprove the The Unique Games Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: Fo... Read more

[IndieMath:cs-006:prove] Prove the Metric TSP Approximation conjecture through an IndieMath AI research attempt. Canonical statement: Metric trav... Read more

[IndieMath:cs-006:disprove] Disprove the Metric TSP Approximation conjecture through an IndieMath AI research attempt. Canonical statement: Metri... Read more

[IndieMath:cs-007:prove] Prove the Dynamic Optimality conjecture through an IndieMath AI research attempt. Canonical statement: Splay trees are d... Read more

[IndieMath:cs-007:disprove] Disprove the Dynamic Optimality conjecture through an IndieMath AI research attempt. Canonical statement: Splay trees... Read more

[IndieMath:cs-008:prove] Prove the The Polynomial Hirsch Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: The... Read more

[IndieMath:cs-008:disprove] Disprove the The Polynomial Hirsch Conjecture conjecture through an IndieMath AI research attempt. Canonical statemen... Read more

[IndieMath:cs-009:prove] Prove the The Log-Rank Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: There is a c... Read more

[IndieMath:cs-009:disprove] Disprove the The Log-Rank Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: There ... Read more