Yes - but then we may well wind up with a hoard of hungry AI labs that are just waiting for interesting problems to show up so that they can devour it before any human mathematician gets a chance to solve it.