Skip to content
#

recursive-discovery

Star

Here are 3 public repositories matching this topic...

grothendieckian-problems

AlienMuse / grothendieckian-problems

Star 1

Three papers on the Grothendieckian Programme — an overview, twelve theses and 57 open problems for mathematics and machine reasoning, with problem cards, problems.json and Lean statements. Take 57.

benchmark theorem-proving mathematics artificial-intelligence proof-assistant open-access formal-verification topos-theory open-problems automated-reasoning grothendieck mathlib machine-reasoning lean4 mathematical-ai ai-for-math recursive-discovery grothendieckian-programme wisemotif grothendieckian-machine
  • Updated Oct 29, 2026
  • Python
grothendieckian-programme

AlienMuse / grothendieckian-programme

Star 1

The Grothendieckian Programme: seven works, 34 volumes, 26,021 pages on machine reasoning about mathematics — a core, a topos-native kernel and five research subjects (RH, BSD, Hodge, abc, Langlands). Series 00, their overview, adds no mathematical result; none of the seven claims a proof of the problems it studies. DOI 10.5281/zenodo.23669107.

mathematics artificial-intelligence open-access category-theory formal-verification number-theory monograph topos-theory grothendieck machine-reasoning riemann-hypothesis arithmetic-geometry langlands-program hodge-conjecture abc-conjecture birch-swinnerton-dyer ai-for-math recursive-discovery grothendieckian-programme grothendieckian-machine
  • Updated Oct 29, 2026

Add this topic to your repo

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

Learn more