Grothendieckian Problems: open problems for math and machine reasoning

(github.com) by AlienMuse | Nov 2, 2026 | 0 comments on HN