logoalt Hacker News

zkmonyesterday at 8:28 AM2 repliesview on HN

When Deep Blue beat Kaspaorov, it was not the end of career for human players. But since mathematics is not a sport with human players, what are the career prospects for mathematicians or mathematics-like fields?


Replies

benrutteryesterday at 8:37 AM

I think its worth saying two things:

1. This result is very far from showing something like "human mathematicians are no longer needed to advance mathematics".

2. Even if it did show that, as long as we need humans trained in understanding maths, since "professional mathematicians" are mostly educators, they probably aren't going anywhere.

show 2 replies
becquerelyesterday at 9:10 AM

Tao's broad project, which he has spoken about a few times, is for mathematics to move beyond the current game of solving individual theorems to being able to make statements about broad categories of problems. So not 'X property is true for this specific magma' but 'X property is true for all possible magmas', as an example I just came up with. He has experimented with this via crowdsourcing problems in a given domain on GitHub before, and I think the implications of how to use AI here are obvious.