Professor Ido Kaminer of Israel’s Technion Institute has developed the Ramanujan Machine – an Artificial Intelligent device and program to generate new mathematical formulae. He has just published the 19 hardest to prove hypotheses it has generated over the last two years.
https://www.timesofisrael.com/worlds-hottest-new-math-mind-teasers-set-by-israeli-ai-formula-finder/