|
| ▲ | 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] |