This fact is no longer true. The mathematic domains are up for grabs by anything that can conquer it: https://openai.com/index/model-disproves-discrete-geometry-c...

https://news.ycombinator.com/item?id=48392004