Testing GPT-5.6 Sol Ultra’s AI proof assistant reveals new possibilities for math research workflows, enhancing proof verification speed and accuracy for m