New study shows why simulated reasoning AI models don’t yet live up to their billing

Top AI models excel at math problems but lack reasoning needed for Math Olympiad proofs.