“AI models have become significantly better at discovering novel theorems and advancing the frontiers of hard sciences.”