‏The Future of Mathematics
‏آینده‌ی ریاضیات

‏در قرن نوزدهم، ریاضیات دگرگونی بنیادینی را پشت سر گذاشت؛ این پست مهمان نوشته‌ی Jeremy Avigad است که در آن به این سیر تحول و آنچه پیشِ روی رشته‌ی ریاضیات قرار دارد می‌پردازد.

‏نظر هوش مصنوعی — ⭐ ۷/۱۰
‏🎯 چرا مهمه: ریاضیاتِ رسمی و ابزارهای proof assistant دارن وارد جریان اصلی می‌شن و این مستقیماً روی formal verification در software و AI تأثیر می‌گذارد.
‏💡 نکته: وقتی Terry Tao پستی را از Jeremy Avigad منتشر می‌کند، احتمالاً نقطه‌ی تلاقی ریاضیاتِ رسمی و هوش مصنوعی در کانون توجه است.
‏👥 برای کی: کسانی که روی formal verification، theorem proving یا کاربرد LLM در ریاضیات کار می‌کنند.

‏🔗 https://terrytao.wordpress.com/2026/10/05/the-future-of-mathematics/
‏#ai #LLM

‏@BenFeed