→ PQ FV and AI: A recent run using a specialized mathematical AI produced a formal proof for one of the hardest lemmas in the foundations of hash-based snarks after an eight-hour session. This advance materially impacts applied cryptography
You are viewing a single comment's thread from: