2 months ago|discuss
user: oldgradstudent
3611 karma | created 8 years ago
recent submissions
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
To Have Machines Make Math Proofs, Turn Them into a Puzzle
(quantamagazine.org)
3 pts|3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
4 months ago|discuss
4 months ago|discuss
5 pts|4 months ago|2 comments
4 months ago|discuss
4 months ago|discuss
8 months ago|discuss
8 months ago|discuss
8 months ago|discuss
8 months ago|discuss