AI Begins to Transform Mathematics, Solving Long-Standing Problems | HyperFast