Anthropic ने 3 सितंबर को बताया कि Claude ने फ़र्मा के अंतिम प्रमेय का पहला कंप्यूटर-जाँचा प्रमाण बनाया। दर्जनों Claude एजेंटों ने 11 दिन काम किया और रास्ते में 30,300 छोटी प्रमेयें सिद्ध कीं। गणितज्ञों को लगता था कि इसमें कई साल लगेंगे, और Anthropic मानता है कि प्रमाण ज़रूरत से लंबा है।