A discipline changed hands, and the person it changed hands from was gracious

Fermat's Last Theorem was proved by a human in 1994 and, this month, checked in full by a machine. The Navier–Stokes problem, one of seven the Clay Institute priced at a million dollars each in 2000, was claimed by a machine on 8 September, the claim verified by another machine, the result disputed only as to who thought of it first. The dispute is the tell: when the fact is no longer in question, the argument moves to credit. The Rubin Observatory will adjudicate a dispute about cosmic accelera ...