"Would I be better off letting the IRS send us a corrected estimated tax carryforward amount from 2023?"
Yes.
