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.
Python Updated 15 days ago 1 commits 1 stars
sigma-ai|Mirror: AlienMuse/grothendieckian-problems (⭐1)
15 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
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.
Readme
1 stars