The opposite result was claimed in 2016, but the argument was faulty.
If verified, this will probably be the biggest AI math accomplishment to date. So far, the biggest success are the Jacobian conjecture counterexample, and the Erdox unit distance problem.
Wouldn't that be grand....if only we lived in a six dimensional universe where this 'accomplishment' could be useful outside of self congratulatory mathematical onanism. Reminds me of Ads/CFT conjectures of yesteryear being used to support explanatory theories of physics in universes we know for certain we don't inhabit.
ReplyDeleteAre there any more? apart from S^6 the complex? I mean, proofs?
ReplyDeleteJussss askinnn