Leading mathematicians warn AI labs are undermining attribution, verification, and open research by racing to solve famous problems | Raisolo