Skip to content
#

collapse-bsd-theorem

Star

Here is 1 public repository matching this topic...

Kobayashi2501 / Structural-Proof-of-the-BSD-Conjecture-via-AK-Theory

Star 1

This repository presents Version 4.0 of a formal, type-theoretic, and fully machine-verifiable proof of the Birch and Swinnerton-Dyer (BSD) Conjecture, built upon the framework of Collapse Theory and the AK High-Dimensional Projection Structural Theory (AK-HDPST) v14.5.

elliptic-curves algebraic-number-theory collapse-theory bsd-conjecture birch-swinnerton-dyer zeta-correspondence topological-collapse ext-class-elimination functorial-proof type-theoretic-formalization collapse-bsd-theorem ak-high-dimensional-projection
  • Updated Aug 1, 2025
  • TeX

Improve this page

Add a description, image, and links to the collapse-bsd-theorem 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 collapse-bsd-theorem topic, visit your repo's landing page and select "manage topics."

Learn more