> That's a lot of juice for 12VDC
Indeed it is. It's 125 amps, which apart from car starting motors is essentially unheard of because of wiring losses. I think the article somehow got this wrong.
At these power levels, rational designs raise the source voltage, then down-convert closer to the loads.