LLMs recently solved a major, famous open mathematical problem in combinatorial geometry:

https://www.reddit.com/r/math/comments/1tj534d/openais_inter...