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.
by fithisux
0 subcomment
Unfortunately it does not render correctly in my browser. If you could create a Latex or PDF would be very good.
by amelius
3 subcomments
Stopped reading when they used |ยท| without explaining its meaning.
Hacker News