Related:

AHM Statement on OpenAI's October 6 Release of Mathematical Documents

https://news.ycombinator.com/item?id=50000421 / https://news.ycombinator.com/item?id=49999159