۲۵ برنده مدال فیلدز درباره تأثیر اثبات‌های تولیدشده توسط هوش مصنوعی بر آینده ریاضیات، فرهنگ انسانی این رشته و اهداف شرکت‌های فناوری هشدار داده‌اند.
مدل Astra از OpenAI برای ۱۰ مسئله ریاضی قدیمی نتایج جدیدی ارائه کرده که با اثبات‌های قابل بررسی توسط رایانه در Lean همراه شده‌اند.