AI just disproved a major math problem. A mathematician explains.

A Harvard mathematician says he used Anthropic's Fable 5 to disprove a major open math problem. How impressed should we be?