What the claim says

The claim asserts two things: that AI solved a difficult mathematical problem, and that the result produced major upheaval — a "great earthquake" — in the mathematics community. The review of primary sources supports the core of this claim: AI systems have produced solutions to demanding mathematical problems, and the mathematics community has reacted strongly.

Where the evidence stands

The claim's central assertion — that AI achieved a mathematical result regarded as a major breakthrough — is supported by the sources reviewed. The characterization of a "math community earthquake" is a more vivid framing, and the extent to which the community is genuinely in crisis, rather than simply stirred by the result, is less clearly established.

Some elements of the claim remain unconfirmed. The review did not establish a uniform consensus among mathematicians on the significance of the result, and the scope of the disruption to the field should be treated with caution.

The bottom line

The factual core — AI solving a difficult mathematical challenge and prompting a strong reaction among mathematicians — holds up. The more dramatic framing of the aftermath is partially supported.

The claim is assessed as Mostly True.

Verdict: Mostly True