A rigorous mathematics test puts AI progress in perspective

A new report is a useful reminder that solving selected problems is not the same as sustaining a research-quality mathematical argument.