Dossier
cryptography problem
Coverage of cryptography problem in the Nexus archive.
- 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 to independently generate proofs for the same cryptography problem, sparking questions about scientific credit and independent discovery.