#automated theorem proving

Fields Medalist says ChatGPT 5.5 Pro delivered "PhD-level" math research in under two hours with zero human help

This article explains how advanced AI systems like ChatGPT 5.5 Pro can perform PhD-level mathematical research, exploring the technical mechanisms behind AI reasoning and its implications for mathematical discovery.