The power of Python trumps Excel workbooks.
The dancers had used music generated by AI. Whatever model was involved had likely been trained on “You Get What You Give” ...
The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.