In a similar vein, I have an interest in researching automated experimental mathematics. Is there any opinion on the relative existential threat level of such a pursuit?
In a similar vein, I have an interest in researching automated experimental mathematics. Is there any opinion on the relative existential threat level of such a pursuit?