The Post-Quantum Security Model Built for an Age of AI Agents
A new framework for cryptography in the quantum age could permanently change how we work with cryptography in the Post-Quantum Cryptography Age.
On 5 September 2026, a proof emerged after a century-long pursuit, solving one of the seven Millennium Prize Problems. This was accomplished not by human mathematicians, but by an AI system composed of ten thousand agents, exchanging nearly 2.7 million messages, and consuming compute resources at a cost of millions of dollars. The proof was formalized in seventeen hours by GPT-6 Astra within the Lean system, a tool for automatically verifying mathematical proofs step by step.
OpenAI published this significant result on 8 September 2026, but framed it as requiring mathematician review rather than claiming a prize. This groundbreaking achievement demonstrates the potential of AI to tackle previously unsolvable problems with the aid of parallel search capabilities.
Written by urgent.news from HackerNoon's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
