No, it's not an "everyone" problem yet. Each field is likely on its own timeline. Knowing how well AI is at proving theorems is of only limited use for predicting what will happen and when in other fields.

▲

random3 5 hours ago | parent [-]

The yet compressing into now is the definition of singularity. I'd argue that it's "only of limited use" if you don't understand the problem well enough - so yes, it's limited for predicting anything for most people but that doesn't make it an irrelevant aspect at predicting in general.

	▲	skybrian 4 hours ago \| parent [-]
		Why bring up the singularity? It hasn't happened and might not happen the way anyone thinks. For example, the timelines in different fields might not all go vertical at the same time. So, you could get something like an Internet singularity without a corresponding robotics singularity. Also, war is different from civilian applications. The use of drones to bomb data centers doesn't imply that drones will be useful for civilian applications like delivering pizza. There's no particular reason to believe that solving math theorems generalizes to engineering or robotics without a whole lot of additional work.