AI helped produce two proofs for the same cryptography problem
An MIT Ph.D. student and two University of California system cryptographers used GPT-5.6 Sol Ultra in different ways, raising new questions about independent discovery and scientific credit