Researchers introduced Aletheia, an AI designed to solve complex math problems autonomously by breaking down questions. It represents a step towards self-driving mathematical discovery.