Pretty cool! Seems like it would be a good fit for Jupyter notebooks? Data scientists might be interested in having something more powerful than Markdown
I'd certainly much prefer to use the Polymath syntax when using something like Jupyter (although Markdown has been pretty good thus far ngl)
The real advantage of Polymath will come once things like CSS grid features and block-style-macros are fully functional.