Storia: AI helped produce two proofs for the same cryptography problem — Warptech Lab News