Hacker News new | ask | show | jobs
user: knotthebest
created: 2024-01-25
karma: 7

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Terence Tao, "Machine Assisted Proof" [video]
2 points | 1 comments