The technology was first released into the public 4 years ago. Now it's proving major theorems in research mathematics. It doesn't take a genius to realize that this might indicate an extinction-level shift over the next few hundred years.