A small website of precise open quantum problems to leverage AI
algebra analysis physics quantum-mechanics quantum-computing ai-agents qunatum-information-theory conjecture-solving vibe-mathing
-
Updated
Sep 4, 2026 - JavaScript
#
conjecture-solving
Here are 13 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
A high-performance C/AVX2 computational framework for exhaustively searching for counterexamples to the Beal Conjecture — pushing significantly deeper than previous published records.
-
Updated
Feb 7, 2026 - C
Computational evidence isolating the log(n) spreadness artifact in the Erdős k=3 Sunflower Conjecture via bitmask-accelerated Simulated Annealing.
-
Updated
Feb 20, 2026 - Python
A Machine-Verified Constructive Proof of Lemoine's Conjecture.
formal-verification number-theory interactive-theorem-proving mathlib prime-partition zulip-bot goldbach-conjecture computational-number-theory lean4 lemoine predictive-processing formalized-mathematics conjecture-solving additive-number-theory semiprimes
-
Updated
Jul 18, 2026 - HTML
A Boundary Analysis and Formal Proof by Contradiction of Vizing’s Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent
research math mathematics graph-theory formal-methods combinatorics formal-verification interactive-theorem-proving cartesian-product boundary-analysis mathlib academic-research lean4 proof-by-contradiction conjecture-solving ai-augmented-research integral-gap-analysis vizings-conjecture minimal-counterexample fractional-domination
-
Updated
Aug 23, 2026 - Lean
A Machine-Certified Proof of Frankl’s Conjecture via Collision-Restitution Invariants.
reflection mirror mirrors dynamic-analysis combinatorics invariants symmetry lattice formal-verification equilibrium formal-proofs collisions mathlib restitution lean4 conjecture-solving ai-augmented-research union-closed-sets-conjecture frankl-s-conjecture injective-mapping-function
-
Updated
Sep 4, 2026 - Lean
Bounding Singmaster's Conjecture via Constructive Type Transformation in Lean 4.
research math mathematics combinatorics formal-verification pascals-triangle number-theory formal-proofs mathlib computational-number-theory binomial-coefficient lean4 conjecture-solving ai-augmented-research singmasters-conjecture prime-core-decomposition kummers-theorem legendres-identity hermites-floor-expansion
-
Updated
Aug 25, 2026 - Lean
This is Reinforcement Learning for Graph Theory (RLGT), a reinforcement learning framework that aims to facilitate future research in extremal graph theory.
-
Updated
Mar 16, 2026 - Python
Semester project aiming at reproducing the results disproving the conjecture about the additivity of the unknotting number under connected sum, disproved Nov 2025 by Brittenham and Hermiller. The code implements a randomized search for "good" crossing changes.
-
Updated
Jul 24, 2026 - Jupyter Notebook
A Lean 4 structural encoding of the Beal Conjecture using the 12-primitive Imscribing Grammar.
conjectures conjecture lean4 beal-conjecture conjecture-solving machine-verifiable conjecture-verification beal
-
Updated
May 29, 2026 - TeX
The Iris Number System: a mechanical, countable definition of numbers, giving a uniquely reliable deduction framework for number theory, analysis, and more
calculus analysis proofs number-theory proofs-and-conjectures nonstandard-analysis conjecture-solving
-
Updated
Aug 1, 2026 - TypeScript
A Lean 4 self-modeling proof framework for the Perfect Cuboid problem, operating at the critical edge where algebra closes and descent begins
-
Updated
May 29, 2026 - C
Millennium Prize Problems
-
Updated
Sep 7, 2026 - TeX
Add this topic to your repo
To associate your repository with the conjecture-solving topic, visit your repo's landing page and select "manage topics."