Ask HN: Will AI solve the Riemann hypothesis before humans?