Interdisciplinary

AI Cracks Cryptography Problem with Two Independent Proofs

How the science connects

Artificial intelli…Automated theorem …Cryptography

AI Insight

Researchers from MIT and the University of California independently used the AI system GPT-5.6 Sol Ultra to generate two separate proofs for the same cryptography problem. The achievement raises important questions about how scientific credit should be attributed when AI tools are used in different ways by different researchers to arrive at identical or similar conclusions. This represents a novel situation in scientific discovery where the role of AI assistance complicates traditional notions of independent verification and originality.


This case highlights emerging challenges in determining authorship and priority in AI-assisted scientific research. It has implications for how the scientific community will need to adapt its standards for crediting discoveries and validating independent confirmation when powerful AI tools become commonplace in research.


Understand the Science

Artificial intelligence 240 articles Explore Concept → Automated theorem proving Concept coming soon Cryptography Concept coming soon

An M.I.T. 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

Source: AI helped produce two proofs for the same cryptography problem