Fermat’s last theorem has been turned into computer-verified code for the first time, using an advanced prototype of AI chatbot Claude https://go.nature.com/4r46RK6