نحن على أعتاب تغيير عميق في مجال الرياضيات. إثبات الأجواء هنا. أثبت أرسطو من @HarmonicMath مشكلة إردوس #124 في عام @leanprover، بمفردها. ظل هذا السؤال مفتوحا لما يقرب من 30 عاما منذ أن تم الافتراض في ورقة بحثية بعنوان "تسلسلات كاملة لمجموعات القوى الصحيحة" في مجلة Acta Arithmetica. أجرى بوريس أليكسييف هذه المشكلة باستخدام نسخة تجريبية من أرسطو، تم تحديثها مؤخرا لتكون أقوى في قدرة التفكير وواجهة لغوية طبيعية. الذكاء الرياضي الفائق يقترب أكثر مع مرور الوقت، وأنا واثق من أنه سيتغير ويسرع بشكل كبير التقدم في الرياضيات وجميع المجالات التابعة.

شاهد النقاش الكامل هنا: