AI Four AI mathematics results landed in July. Nobody published how many attempts failed July 27, 2026
