GPT-5.2 and Harmonic’s Aristotle resolved Erdős problem #728 before any human did. The corpus has tracked this arc since December 13: Tao in the loop, then autoformalization, then an agent solving an open problem unaided, then a ledger of results — and now priority itself.
A mathematician says he can hardly find a non-trivial hard problem the model cannot finish in two hours.