The interesting thing here is he's explaining how the new idea that the AI came up with for the unit distance problem was then applied by a group of human mathematicians to refute the sum-product conjecture. One result is not a consequence of the other; it's a tool invented for the first that could be reapplied, in a modified form, for the second.
Some of those involved in the sum-product result helped digest the AI result, simplifying it and extracting the useful insight.
Some have warned about AI producing inscrutable results, but just the opposite seems to have happened here.
Comments
The interesting thing here is he's explaining how the new idea that the AI came up with for the unit distance problem was then applied by a group of human mathematicians to refute the sum-product conjecture. One result is not a consequence of the other; it's a tool invented for the first that could be reapplied, in a modified form, for the second.
Some of those involved in the sum-product result helped digest the AI result, simplifying it and extracting the useful insight.
Some have warned about AI producing inscrutable results, but just the opposite seems to have happened here.