هوش مصنوعی Anthropic اثبات آخرین قضیه فرما را تنها در 11 روز "رسمی" می کند
طبیعت، انتشار آنلاین: 07 سپتامبر 2026; doi:10.1038/d41586-026-02822-9 کلود یک اثبات 13 میلیون خطی و کامپیوتری برای این حدس معروف ارائه کرد - یک نقطه عطف بزرگ در ریاضیات.
خواندن متن کامل در نیچربه زبان اصلی، در سایت ناشر باز میشودمتن اصلی (انگلیسی)
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
Nature, Published online: 07 September 2026; doi:10.1038/d41586-026-02822-9 Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.