From Equational To Math Platform

Stream: Equational

[Michael Bucko]

I wrote a short article on how producing math at scale could work. It's engineering- and AI-heavy, but it's also something that could even be built now (well, not all the elements of it -- that'd take some time).

https://buildermath.substack.com/p/on-math-platform

I'd appreciate your feedback.

[Terence Tao]

I've added this as a link on the main page (under a new section for blogs and media).