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