الکس ویلکینز، نویسنده نشریه «نیو ساینتیست»، در مقاله‌ای با عنوان «چشم امید ریاضی‌دانان به رایانه‌ها برای پایان بخشیدن به یکی از بحث‌برانگیزترین مناقشات ریاضی» به بررسی تلاش‌ها برای استفاده از نرم‌افزارهای کامپیوتری جهت اثبات یکی از پیچیده‌ترین مسائل ریاضی معاصر پرداخته است.
آخرین اخبار