Comment on The Four-Color Theorem Gets a Rare New ProofComments−zem10hone of the best things about it is not the proof per se, but the fact that mathematicians continue to work on the theorem. bodes well for interesting mathematical research not being killed by AI proofs.
Comments
one of the best things about it is not the proof per se, but the fact that mathematicians continue to work on the theorem. bodes well for interesting mathematical research not being killed by AI proofs.