Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation

University of Luxembourg mathematicians tested whether GPT-5 could extend a qualitative fourth-moment theorem to include explicit convergence rates, a previously unaddressed problem in the Malliavin-Stein framework. The September 2025 experiment, prompted by claims GPT-5 solved a convex optimization problem, revealed the AI made critical errors requiring constant human correction.

GPT-5 overlooked an essential covariance property easily deducible from provided documents. The…