Skip to content
#

abc-conjecture

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 TeX 3 Rocq Prover 1 Jupyter Notebook 1

Kobayashi2501 / Collapse-Theoretic-Proof-of-the-ABC-Conjecture

Star 1

via Collapse Theory and AK High-Dimensional Projection This repository contains Version 2.0 of a formally verifiable, obstruction-theoretic proof of the ABC Conjecture, based on:

persistent-homology diophantine-equations collapse-theory abc-conjecture radical-inequality collapse-energy-decay ext-class-trivialization sheaf-theoretic-collapse type-theory-in-number-theory categorical-collapse collapse-abc-theorem ak-high-dimensional-projection
  • Updated Aug 3, 2025
  • TeX

XYAKANYAA / Science-of-the-Obvious-Millennium-Class-Challenges

Star 0

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

Improve this page

Add a description, image, and links to the abc-conjecture topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the abc-conjecture topic, visit your repo's landing page and select "manage topics."

Learn more