AlienMuse/grothendieckian-problems

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.

1 best points · 3 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub

Hacker News discussions

• The 57 Grothendieckian Problems: open problems for math and machine reasoning (1 points, 3 comments, by AlienMuse, 2026-11-02)