وطور فريق من جامعة بكين نظاما يعمل بشكل شبه مستقل، حيث استعرض عقودا من الأبحاث الرياضية ليصل إلى الحل، ثم تحقق من صحة النتائج التي توصل إليها بنفسه دون أي تدخل بشري تقريبا.
والمسألة المحلولة هي "تخمين جبري" كان قد وضعه الأستاذ دان أندرسون من جامعة آيوا قبل وفاته عام 2022.
والمسألة المحلولة هي "تخمين جبري" كان قد وضعه الأستاذ دان أندرسون من جامعة آيوا قبل وفاته عام 2022.
