AI helped produce two proofs for the same cryptography problem July 31, 2026 · Scientific American Read full story at source