Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
g15jv2dp
15 days ago
|
parent
|
context
|
favorite
| on:
Terence Tao on proof checkers and AI programs
I guess we got in the top 10 worldwide for math in the Shanghai ranking by accident. If you don't know what you're speaking about, sometimes it's wise to not say anything.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
