vibe-mathing

Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.

A small website of precise open quantum problems to leverage AI

Vibe Mathing single-problem candidate research: Bounds for Homogeneous Polynomial Zeros

P3-partitions of cubic 3-connected graphs — public single-problem mathematical research Harness

Vibe Mathing single-problem candidate research: Erdős Problem #100

Vibe Mathing single-problem candidate research: Erdős Problem #51

Vibe Mathing single-problem candidate research: Partitionning a tournament into k-strongly connected subtournaments.

Vibe Mathing single-problem candidate research: Erdős Problem #881

Vibe Mathing single-problem candidate research: Cube-Simplex conjecture

Vibe Mathing single-problem candidate research: Monochromatic empty triangles

Vibe Mathing single-problem candidate research: Erdős Problem #196

Vibe Mathing single-problem candidate research: Erdős Problem #129

Vibe Mathing single-problem candidate research: Kourovka Notebook Problem 21.97

Vibe Mathing single-problem candidate research: Partitions and Large Cosets

Vibe Mathing single-problem candidate research: Yau's Conjecture on First Eigenvalues

Vibe Mathing single-problem candidate research: Kirby Problem 4.10

Vibe Mathing single-problem candidate research: 21st Century Fluids

Vibe Mathing single-problem candidate research: Kirby Problem 3.6

Vibe Mathing single-problem candidate research: Sudoku: Minimal Puzzles Count

Vibe Mathing single-problem candidate research: Forcing a $K_6$-minor