به گفته‌ دانشمند علوم رایانه، هوش مصنوعی توانایی جدیدی کسب کرده است که تا پیش از این دیده نشده بود؛ به نحوی که اکنون می‌تواند به ایجاد و اثبات قضیه‌های ریاضی جدید کمک کند.