3 ms·Can the AI prove the AI that proved the four color theorem!?!by yters 7y agoCan the AI prove the AI that proved the four color theorem!?!