آخرین قضیه فرما تنها در 11 روز توسط عوامل هوش مصنوعی رسمیت یافت
انتظار میرفت که تبدیل اثبات آخرین قضیه فرما به کدی که رایانهها میتوانند آن را بررسی کنند، سالها طول بکشد - کلود هوش مصنوعی Anthropic آن را در کمتر از دو هفته مدیریت کرد.
خواندن متن کامل در نیوساینتیستبه زبان اصلی، در سایت ناشر باز میشودمتن اصلی (انگلیسی)
Fermat’s last theorem formalised by AI agents in just 11 days
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks