Thread

What's the future for pure math research in the age of AI?

59 points · 46 comments · 6bitquant

ghusto · 1791130396 · focus · HN ↗
The desperately needed TL;DR is that perhaps the actual mathematics itself (i.e. proofs, calculations, etc.) can be done by AI, but why we do it and deciding which problems to solve can only be done by AI. Therefore mathematician do maths.
I'm not a mathematician, but this seems like a weak and slightly bizarre argument.
1. patcon · 1791135320 · focus · HN ↗
  > but why we do it and deciding which problems to solve can only be done by AI
  Sorry, was there a typo here? Both sides of the comparison are AI, and in the affirmative?

Unofficial Hacker News client; not affiliated with Y Combinator.