AI achieves new math breakthrough with high-school dropout's help

Artificial intelligence has made another significant breakthrough in mathematics, notably aided by a high-school dropout.