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.
No comments:
Post a Comment