The man paid to prove Fermat by hand says Claude did it in 11 days

The Next Web reports that a mathematician holds a five-year grant to formalise Fermat’s Last Theorem. It has been done for him in eleven days, and he says the result tells us nothing about mathematics. Anthropic published the proof on Friday. Dozens of…

For Australian readers, the useful question is what this changes in everyday work: costs, productivity, privacy, hiring, or the tools businesses rely on. We are watching this story because practical AI adoption is moving quickly, and the impact often reaches workplaces before policy or training catches up.