با وجود محدودیتها، باید با خوشبینی به آینده نگریست. هوش مصنوعی جایگزین ریاضیدانان نخواهد شد، بلکه به عنوان یک شریک قدرتمند عمل میکند که با ارائه اثباتهای قابل اعتماد (به دلیل بررسی صوری)، درک ریاضیدانان از مسئله را عمیقتر کرده و خلاقیت آنها را افزایش میدهد. حتی زمانی که سیستم موفق به حل مسئله نمیشود، طرح اثباتهای تولید شده توسط آن میتواند بینشهای ارزشمندی به ریاضیدانان ارائه دهد. در آینده همکاری انسان و ماشین، مرزهای دانش ریاضی را جابه جا میکند.
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
خلاصه مقاله: در حالی که برخی (مانند جف هینتون) ریاضیات را «سیستم بسته‌ای» مانند شطرنج می‌دانند که هوش مصنوعی می‌تواند آن را حل کند، نویسنده با استفاده از «لین» (Lean) نشان می‌دهد که ارزش ریاضیات فقط در استنتاج صوری (که لین تأیید می‌کند) نیست، بلکه در روایت قابل‌فهم پشت آن نهفته است. هوش مصنوعی می‌تواند در بازی تأیید لین پیروز شود، اما در ارائهٔ بینش مفهومی که اثبات را برای انسان ارزشمند می‌کند، ناکام می‌ماند. البته این موضوع با پیشرفت هوش مصنوعی بهبود خواهد یافت.