AI Is Rewriting Mathematics

In July 2026, multiple longstanding mathematical and cryptographic problems were solved or disproven, many with the assistance of advanced AI models like GPT-5.6 Sol and Tencent's Hyra agent. These breakthroughs span decades-old conjectures in graph theory, quantum information, and probability.