OpenAI solved a famous geometry problem that stumped mathematicians since 1946, not by proving a theory but by finding a clever counterexample.
They used regular AI, not specialized software.
Want to know more?