If an AI solves a maths problem and nobody reviews it, was it really solved

In June, an international group of mathematicians published the LeidenDeclaration on Artificial Intelligence and Mathematics. With AI tools making increasingly...