Mathematicians stunned by AI's biggest breakthrough in mathematics yet