کلود مسئله ریاضی ۳۵۰ ساله را با طولانی‌ترین برهان تاریخ حل کرد

به گزارش Decrypt، شرکت Anthropic اعلام کرده است که مدل هوش مصنوعی کلود توانسته قضیه آخر فرما، یکی از مسائل مشهور ریاضی با قدمتی حدود ۳۵۰ سال، را به شکلی متفاوت بازسازی کند. این مدل طی ۱۱ روز، برهانی متشکل از ۱۳ میلیون خط کد تولید کرده است؛ کدی که رایانه می‌تواند آن را به‌صورت مستقل بررسی کند. بر اساس توضیحات Anthropic، اعتبار این برهان به اعتماد انسانی به مراحل استدلال وابسته نیست و امکان راستی‌آزمایی ماشینی آن فراهم شده است. این دستاورد، به‌جای ارائه یک متن ریاضی متعارف، قضیه را در قالب کدی بسیار گسترده بیان می‌کند. خبر منتشرشده درباره توانایی هوش مصنوعی در تبدیل مسائل پیچیده ریاضی به برهان‌های قابل بررسی توسط رایانه است و اطلاعاتی درباره ارتباط مستقیم آن با قیمت یا عملکرد دارایی‌های بازار ارائه نمی‌دهد.