Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
webnrrd2k
83 days ago
|
parent
|
context
|
favorite
| on:
Terrence Taos recent posts on AI, automated proof
Tao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
