A legfejlettebb MI-rendszerek már nemcsak megoldják az eléjük tett matekpéldákat: olyan problémákban is új eredményeket érnek el, amelyekkel hivatásos matematikusok hosszú ideje dolgoznak.