همزیستی انسان-هوش مصنوعی در کشف علمی: درسهای مشارکت در اثبات اردوش
آرسام صباغ · ۱۴۰۵/۰۳/۱۲ · 13 دقیقه
وقتی هوش مصنوعی و ریاضیدانان انسانی مؤسسه مطالعات پیشرفته پرینستون دست در دست هم حدس هشتاد ساله اردوش را ابطال کردند، آنچه پدید آمد بیش از یک دستاورد ریاضی بود: یک مدل همکاری جدید بین انسان و ماشین شکل گرفت که میتواند…
۱. جریان کار واقعی: چهار مرحله همکاری اردوش
آنچه در پروژه IAS/Gemini اتفاق افتاد یک همکاری ساده نبود — یک جریان کار ساختارمند با نقشهای کاملاً متمایز بود. درک دقیق این جریان کار میتواند نقشهراهی برای پروژههای مشابه در آینده باشد.
۲. اکوسیستم Lean و تأیید رسمی ریاضیات
Lean 4 یک زبان برنامهنویسی و سیستم تأیید رسمی است که در آن میتوان قضایای ریاضی را بهگونهای نوشت که یک کامپیوتر بتواند صحت هر گام منطقی را تأیید کند. این رویکرد که به آن ریاضیات رسمی ( Formal Math…
۳. نقاط قوت مکمل: آنچه هر طرف داد
برای درک درست همزیستی انسان-هوش مصنوعی باید فهرست صادقانهای از نقاط قوت و ضعف هر طرف داشت.
۴. پیامدها برای آموزش ریاضیات و مدال فیلدز
اگر هوش مصنوعی میتواند در کشف ریاضی مشارکت اساسی داشته باشد، آموزش ریاضیات چگونه باید تغییر کند؟ و آیا هوش مصنوعی میتواند روزی مدال فیلدز بگیرد؟
تحلیل کامل را در تکناو بخوانید
مدل چهارمرحلهای همکاری که میتواند علم را متحول کند
خواندن مقاله →