They released the code here: https://github.com/anthropics/fermats-last-theorem