به گزارش ایسنا، کلود یک اثبات ۱۳ میلیون خطی و بررسیشده توسط رایانه برای این قضیه مشهور تولید کرده است که دستاوردی مهم برای دنیای ریاضیات به شمار میرود.
به نقل از نیچر، قضیه آخر فرما، یکی از مشهورترین نتایج ریاضی نیمقرن اخیر، برای نخستین بار با استفاده از نسخهای پیشرفته و آزمایشی از چتبات هوش مصنوعی کلود به کدی تبدیل شده که توسط رایانه قابل راستیآزمایی است.
الکس کونتوروویچ، نظریهپرداز اعداد در دانشگاه راتگرز در نیوجرسی، میگوید اینکه یک ماشین توانسته کار ریاضیدانان انسانی را به یک اثبات ۱۳ میلیون خطی و کاملا قابل اعتماد تبدیل کند، واقعا مغزم را منفجر کرد.
شرکت آنتروپیک، سازنده کلود، که در سانفرانسیسکو مستقر است، این دستاورد را در روز چهارم سپتامبر اعلام کرد. این مدل پروژهای را که پیشبینی میشد تکمیل آن برای انسانها ۱۰ سال زمان ببرد، در تنها ۱۱ روز به پایان رساند.
این نتیجه نشان میدهد که هوش مصنوعی احتمالا نقش مهمتری در بررسی و راستیآزمایی کار ریاضیدانان و همچنین تولید استدلالهای جدید ریاضی ایفا خواهد کرد. …
