According to a report by New Scientist, Fermat's last theorem has been successfully formalised by artificial intelligence agents in just 11 days. The development marks a notable milestone in the application of AI to complex mathematical problems, demonstrating the rapid capabilities of automated agents in processing advanced mathematical proofs. No further details regarding the specific architecture or methodology of the AI agents were provided in the source text.