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: A diagram about funcoids and reloids

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

Vibe Mathing single-problem candidate research: Kirby Problem 4.3

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

Vibe Mathing single-problem candidate research: Kirby Problem 4.104

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

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

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: Kirby Problem 3.54

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

Vibe Mathing single-problem candidate research: Kirby Problem 4.17

Vibe Mathing single-problem candidate research: Sum of Cubes in F_3^n

Vibe Mathing single-problem candidate research: Existence of Perfect Cuboids

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

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

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

Vibe Mathing single-problem candidate research: Negative association in uniform forests