ریاضی 2.0: فلسفه ریاضی تولید شده توسط هوش مصنوعی رویداد حضوری و آنلاین

این کارگاه بر پیوند میان پژوهش‌های فلسفیِ معاصر دربارهٔ ریاضیاتِ تولیدشده به‌وسیلهٔ هوش مصنوعی و آثار متأخر ترنس تائو استوار است؛ آثاری که در آن‌ها تائو و فلاسفه عمل ریاضی، از خلال نوشته‌ها، سخنرانی‌ها و گفت‌وگوهای اخیر خود، نه‌تنها توانایی‌های فنی سامانه‌های هوش مصنوعی در تولید، صوری سازی و بررسی اثبات‌های ریاضی را تحلیل می‌کند، بلکه پرسش‌های بنیادی‌تری دربارهٔ هدف، ارزش و آیندهٔ فعالیت ریاضی مطرح می‌سازد. از این منظر، مقالات و مباحث این کارگاه به‌عنوان بسط، تفسیر و گفت‌وگویی انتقادی با دیدگاه‌های متأخر تائو خوانده می‌شوند: از تمایز میان درستی صوری و فهم ریاضی، و از نگرانی دربارهٔ انباشت «بدهی فنی» ناشی از تولید انبوه نتایج، تا بررسی دشواری ذاتی مسائل ریاضی، نقش توضیح و شهود، و ضرورت بازاندیشی در نهادهای علمی و معیارهای ارزیابی ریاضیات. بنابراین، هدف کارگاه شکل‌دادن به بحثی منسجم پیرامون تصویری است که در آثار متأخر پژوهشگران این حوزه، از گذار ریاضیات به عصر هوش مصنوعی ارائه می‌دهند؛ تصویری که در آن مسئلهٔ اصلی دیگر فقط این نیست که آیا ماشین می‌تواند قضیه‌ای را اثبات کند، بلکه این است که جامعهٔ ریاضی چگونه می‌تواند نتایج ماشینی را بفهمد، ارزش‌گذاری کند، در ساختار دانش جای دهد و همچنان نقش فهم انسانی را در پیشرفت ریاضیات حفظ کند.

از حضور دانشجویان ریاضی، فلسفه، علوم کامپیوتر و عموم علاقمندان استقبال می‌شود.