Nakon 80 godina pokušaja ljudskih matematičara, AI je pronašao dokaz koji povezuje različite grane matematike, no dio naučne zajednice strahuje od "crne kutije"
