AI settles a decade-old quantum-optimization conjecture, with a machine-verified proof

June 29, 2026 · 0 min read
news
Kfir Sulimany
Authors
Incoming Assistant Professor, Technion ECE
Incoming Assistant Professor at the Technion. Currently leading the Quantum Perception team at MIT, working on quantum-secure machine learning, in-physics computing, and automated theorem proving for quantum information.