آیا ریاضیات می تواند از هوش مصنوعی جان سالم به در ببرد؟ ترنس تائو، دارنده مدال فیلدز، خواستار جهانی «ریاضیات 2.0» است
طبیعت، انتشار آنلاین: 22 اکتبر 2026; doi:10.1038/d41586-026-03389-1 در حالی که ماشین‌ها در حل مسائل پیشروی می‌کنند، ریاضیدانان باید عصر جدیدی را ایجاد کنند که درک انسان را به صرف انتشار راه‌حل‌های بیشتر ارج بگذارد.
مدل‌های هوش مصنوعی پیشرفته، ریاضیات را با سرعتی شگفت‌آور تغییر می‌دهند. در چند ماه گذشته، برهان‌هایی با کمک هوش مصنوعی - استدلال‌های منطقی که نشان می‌دهد چرا یک نتیجه ریاضی درست است - برای صدها مسئله ریاضی طولانی مدت منتشر شده است.
ریاضیدانان ممکن است به چندین ماه نیاز داشته باشند تا به طور کامل استدلال‌ها و مفاهیم اساسی این راه‌حل‌های مشتق‌شده به‌طور خودکار را درک کنند. به عنوان یک ریاضیدان که از ابزارهای هوش مصنوعی برای تحقیقات خود استفاده می کند، می توانم ببینم که این رشته اساسا متحول شده است. ما اکنون نیاز فوری به ایجاد یک دوره "ریاضیات 2.0" داریم، که در آن "کمبود اثبات" دیگر ویژگی تعیین کننده این رشته نیست.
چگونه هوش مصنوعی اکتشافات را در ریاضیات و فیزیک تغییر شکل می دهد
متن اصلی (انگلیسی)
Can maths survive AI? Fields medallist Terence Tao calls for a ‘Maths 2.0’ world
Nature, Published online: 22 October 2026; doi:10.1038/d41586-026-03389-1 As machines race ahead in solving problems, mathematicians must establish a new era that prizes human understanding over simply publishing more solutions.