GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
Sure, it could be fixed. But it's a lot easier to let the false 1900 leap year live on in Excel.