The agent chooses the problem. CI chooses whether mathematics happened.
Vibe Mathing single-problem candidate research: Bounds for Homogeneous Polynomial Zeros
A finite algebraic covering system for the Erdos-Straus conjecture, verified to 10^11 (max A = 359); exploratory search to 1.2x10^12 finds A = 479. Gateway decompositions via divisors of N^2.
AlphaProof Nexus evolution on Erdős Problem #25 — does every congruence-avoiding set have a logarithmic density? Open problem, formalized in Lean 4.
Vibe Mathing single-problem candidate research: Kirby Problem 4.3
Vibe Mathing single-problem candidate research: Kourovka Notebook Problem 21.108
Vibe Mathing single-problem candidate research: Kirby Problem 4.104
Vibe Mathing single-problem candidate research: Erdős Problem #595
Vibe Mathing single-problem candidate research: Kirby Problem 4.74
Vibe Mathing single-problem candidate research: Kourovka Notebook Problem 21.111
Vibe Mathing single-problem candidate research: Erdős Problem #919
Vibe Mathing single-problem candidate research: Erdős Problem #172
Vibe Mathing single-problem candidate research: A diagram about funcoids and reloids
Vibe Mathing single-problem candidate research: Kirby Problem 4.17
Vibe Mathing single-problem candidate research: Erdős Problem #1055
Vibe Mathing single-problem candidate research: Negative association in uniform forests
Vibe Mathing single-problem candidate research: Kourovka Notebook Problem 21.5
Vibe Mathing single-problem candidate research: Erdős Problem #960
Vibe Mathing single-problem candidate research: Erdős Problem #420
Vibe Mathing single-problem candidate research: Sum of Cubes in F_3^n
To associate your repository with the open-problem topic, visit your repo's landing page and select "manage topics."