Hacker Newsnew | past | comments | ask | show | jobs | submit | AlienMuse's submissions login

1. The 57 Grothendieckian Problems: open problems for math and machine reasoning (github.com/alienmuse) 1 point by AlienMuse 9 days ago | past | 3 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: