The fact that AI had solved this problem made big noise, and was used by many to legitimize AI as a source of progress, so setting the record straight on how it really did it is pretty important.
Beside, solving a millenial problem is a big deal. Even if it had been solved by human researchers and it was later found that they had plagiarized other human researchers, this would’ve been noteworthy. So I would say this is pretty special.
The fact that AI had solved this problem made big noise, and was used by many to legitimize AI as a source of progress, so setting the record straight on how it really did it is pretty important.
Beside, solving a millenial problem is a big deal. Even if it had been solved by human researchers and it was later found that they had plagiarized other human researchers, this would’ve been noteworthy. So I would say this is pretty special.