SCIENCESCIENTIFIC AMERICAN
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.
Mentioned
Related Signal
Adjacent reporting
- Mathematical AI helps researchers crack 50-year-old problem
- Mathematicians stunned by AI's biggest breakthrough in mathematics yet
- Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks
- AI cracks 80-year-old mathematics challenge — researchers are astonished
- Vitalik’s AI + formal verification take feels bigger than another “AI in crypto” headline