Or mathematicial progress helps advance society and AI mathematical velocity doesn't offset certain blows to human mathematical velocity yet, so we get to lose progress for the good of an AI company's advertisement.
We don't lose progress by AI solving Navier Stokes. Get a grip on yourselves. I don't think there is a "progress" argument here without tying mathematics to "usefulness", and AI makes mathematics dramatically more useful.
mchusma · · focus · HN ↗
Or mathematics is more like a hobby, and while ai may spoil their fun, they need to move on like chess and go players.
winwang · · focus · HN ↗
auggierose · · focus · HN ↗
GPerson · · focus · HN ↗
[dead]
auggierose · · focus · HN ↗
[dead]