Formalization of the Millennium Problems in Lean 4
-
Updated
Jan 16, 2026 - Lean
#
millennium-problems
Here are 13 public repositories matching this topic...
This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.
polynomial-time computational-complexity non-determinism complexity-theory millennium-problems p-vs-np unsolved-problems
-
Updated
Oct 24, 2022
Principia Fractalis: Fractal Resonance Ontology. A 1000+ page work exploring how mathematics, consciousness, and physical reality connect through a unified structure. Formally triple-verified in Lean 4, Coq, and L4L
coq mathematics fractal ontology proof-assistant coq-formalization turing-machine theoretical-physics formal-verification complexity-theory millennium-problems consciousness-and-neuroscience lean4 spectral-theory
-
Updated
Jan 19, 2026 - TeX
The official repository of the Nexus Resonance Codex (NRC)
math protein-structure mathematics artificial-intelligence artificial-neural-networks protein-sequences number-theory artificial-intelligence-algorithms protein-folding millennium-problems protein-structure-prediction protein-structure-analysis protein-structures folding-at-home protein-structure-alignment protein-folding-prediction ai-enhancements erdos-problems
-
Updated
Mar 4, 2026 - Python
The official repository of the Nexus Resonance Codex (NRC) Protein Folding Enhancements.
math protein-structure mathematics number-theory foldingathome protein-folding millennium-problems protein-structure-prediction protein-fold-prediction folding-at-home protein-language-model protein-folding-prediction ai-enhancements ai-enhancement protein-folding-security erdos-problems
-
Updated
Mar 4, 2026 - HTML
My solution to the N-Queens problem
-
Updated
Oct 8, 2017 - Java
Datasets - Partitioning at scale
-
Updated
Feb 2, 2026 - HTML
Datasets - Packing at scale
-
Updated
Feb 2, 2026 - HTML
This repository presents a constructive solution to the Yang–Mills existence and mass gap problem, a Clay Millennium Prize topic. The framework confirms the existence of a positive mass gap through verifiable quantum field logic. 本リポジトリでは、クレイ懸賞問題のひとつであるヤン–ミルズ存在と質量ギャップ問題に対し、構成的に正の質量ギャップの存在を示す理論を収録しています。量子場理論に基づき、検証可能な構成を整備しています。
quantum-field-theory mathematical-physics millennium-problems constructive-mathematics yang-mills-theory formal-proof mass-gap
-
Updated
Jun 23, 2025
Structural analyses of 11 Millennium-Class challenges (01/30/2026). Using the XYAKANYAA System, the repository documents how expanded observational context yields harmonic stabilization. Experimental, reproducible, and open to refutation.
reproducible-research geometry jupyter-notebook mathematics computational-mathematics navier-stokes golden-ratio collatz-conjecture phi millennium-problems p-vs-np riemann-hypothesis consciousness-studies hodge-conjecture abc-conjecture birch-swinnerton-dyer-conjecture poincare-conjecture yang-mills-mass-gap langlands-problem
-
Updated
Feb 12, 2026 - Jupyter Notebook
Datasets - Partitioning at scale
-
Updated
Feb 2, 2026 - HTML
The Sabag Bounded Transformation Principle: P=NP=PSPACE=BQP for bounded local moves. Six Millennium Prize Problems attacked - five dissolved.
mathematics theoretical-computer-science laplace-transform complexity-theory millennium-problems p-vs-np bounded-local-moves
-
Updated
Mar 6, 2026 - TeX
Improve this page
Add a description, image, and links to the millennium-problems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the millennium-problems topic, visit your repo's landing page and select "manage topics."