| ▲ | Onavo 3 days ago | |
Well, Terrence Tao is trying his very best to replace himself with an AI. | ||
| ▲ | vlovich123 3 days ago | parent | next [-] | |
I think he’s trying to replace his grad students so that he can solve even more interesting problems. | ||
| ▲ | Xcelerate 3 days ago | parent | prev | next [-] | |
Terence is fascinating in how different his thinking is even from most other mathematicians. | ||
| ▲ | pfdietz 3 days ago | parent | prev | next [-] | |
Which, admittedly, seems like a much harder problem. A world in which AI churns out amazing proofs would be pretty radical though. | ||
| ▲ | 3 days ago | parent | prev [-] | |
| [deleted] | ||