ترنس تائو، ریاضیدان برجسته و برنده مدال فیلدز، معتقد است هوش مصنوعی میتواند برای نخستین بار در تاریخ، مفهوم «تقسیم کار» را به دنیای ریاضیات وارد کند. به گفته او، برخلاف علوم تجربی و صنعت که افراد در بخشهای مختلف تخصص پیدا میکنند، ریاضیدانها تاکنون مجبور بودهاند تمام مراحل پژوهش را بهتنهایی انجام دهند؛ از تعریف مسئله و طراحی راهحل گرفته تا اثبات، بررسی نتایج و نگارش مقاله.
تائو توضیح میدهد که ترکیب هوش مصنوعی با ابزارهای تأیید رسمی (Formal Verification) میتواند این روند را تغییر دهد و شکافهای مهارتی میان پژوهشگران را پوشش دهد. با این حال، او هشدار میدهد اگر هوش مصنوعی صرفاً ایدهها و راهبردهای جدید تولید کند اما امکان راستیآزمایی آنها فراهم نباشد، نتیجه چیزی جز انبوهی از فرضیههای آزمایشنشده نخواهد بود.
به باور او، آینده ریاضیات به سمت مدلی حرکت میکند که آن را «ریاضیات صنعتی» مینامد؛ مدلی که در آن تیمهای بزرگِ پشتیبانیشده توسط هوش مصنوعی بهجای پژوهشگران منفرد، روی مسائل گستردهتر کار میکنند. در این ساختار، هوش مصنوعی میتواند میلیاردها داده و احتمال را بررسی کند، در حالی که انسانها همچنان نقش کلیدی خود را در ارائه حدسهای خلاقانه و شهودی حفظ خواهند کرد.
تائو تأکید میکند هرچه میزان اتوماسیون و استفاده از هوش مصنوعی افزایش یابد، نیاز به سازوکارهای دقیقتر برای تأیید و اعتبارسنجی نتایج نیز بیشتر خواهد شد؛ موضوعی که میتواند نهتنها آینده ریاضیات، بلکه بسیاری از حوزههای علمی دیگر را نیز تحت تأثیر قرار دهد.
کد خبر ۲۱۲۰۵۰۳۱۲.۷۳۹
منبع: دکودر
