AI is solving open problems faster than mathematicians can understand them
Scott Aaronson, a UT Austin computer scientist, argues the bottleneck in mathematics, AI safety and quantum computing is no longer producing answers but formalizing, verifying and understanding them in time.