We taught machines to generate answers. Now, they need to be checked and verified

On July 23, Jacob Tsimerman joined OpenAI to focus on AI safety after receiving the Fields Medal. While machines now generate complex mathematical proofs, experts worry about verification. Terence Tao warned that canonicalisation remains the most valuable part of the process, as we face proof abundance without enough human oversight.