Two more Erdos problems automatically solved https://arxiv.org/pdf/2603.29961

Often when this happens it's later discovered that there was already a proof in the lit somewhere, though in several cases the proofs were shown to be novel. I find math the most interesting use for modern AI, because it's the one area of human endeavor where the computer can automatically perform verification.