GPT-5.2 has reportedly autonomously solved Erdős problem #728 , a notoriously ambiguous math challenge before any human did.

While the solution came with caveats (including interpretational ambiguity and echoes of prior research), the AI was able to refine its proof without human nudging.

The result was reviewed and verified by the mathematics community, with formalization help from Aristotle, an AI math tool by HarmonicMath.

aipost 🏴