Infinite details to remark on, but,
NO NOTES.
This is the sort of the thing that I forward to people who are skeptical about the disruptive capacity AI has, to take long-standing seemingly intractable problems, and "solve" them.
Hats off. Truly inspiring in many senses!