Don't think HN is anti-AI but experts of course may have a different perspective. A comment in this discussion points out that LLMs have been doing math that's been long overlooked in favour of perhaps more impactful work: https://news.ycombinator.com/item?id=48974274

  There isn't a lot of money in academic math, and the ones that love it don't look for low value findings. Proofs like these are ... usually the domain of hobbyists ...