They do have some of those.

https://openai.com/index/model-disproves-discrete-geometry-c...